• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 49,324
Next 10 →

Table 2.1: 23

in Computational Models of Similarity in Lexical Ontologies
by Nuno Alexandre Lopes Seco 2005
Cited by 2

TABLE IV SUMMARY OF FORMAL VERIFICATION FOR THE FORMULAS (21) AND (23) LTL Formula (21) (23)

in Logic of Constraints: A Quantitative Performance and Functional Constraint Formalism
by Xi Chen (correspondent, Harry Hsieh, Felice Balarin

Table 1. Evolution of VRML

in (977-981) A VIRTUAL REALITY FOR AVCILAR CAMPUS OF ISTANBUL UNIVERSITY USING VRML
by M. Nusret Sarisakal, K. Gökhan Ceylan 2003
"... In PAGE 2: ... VRML set an ISO/IEC record as the first specification to be standardized within 18 months and the first International Standard to be published in HTML. Summary of this evolution process is given in Table1 [1]. Table 1.... ..."

Table 4 Evolution of internal memory capacity.

in
by A. E. Cooper, W. T. Chow

TABLE I EVOLUTION OF ROUTING TABLE FROM OCTOBER 2001 TO AUGUST 2004.

in Measurement of Highly Active Prefixes in BGP
by Ricardo V. Oliveira, Rafit Izhak-ratzin, Beichuan Zhang, Lixia Zhang, Ricardo V. Oliveira, Rafit Izhak-ratzin, Beichuan Zhang, Lixia Zhang
Cited by 1

TABLE I EVOLUTION OF ROUTING TABLE FROM OCTOBER 2001 TO AUGUST 2004.

in Measurement of Highly Active Prefixes in BGP
by Ricardo V. Oliveira, Rafit Izhak-ratzin, Beichuan Zhang, Lixia Zhang
Cited by 1

TableViewer TableColumn 21 23 2 2

in PARSEWeb: A programmer assistant for reusing open source code on the web
by Suresh Thummalapenta 2007
Cited by 3

TABLE IV SUMMARY OF FORMAL VERIFICATION FOR THE FORMULAS (21) AND (23)

in Logic of constraints: A quantitative performance and functional constraint formalism
by Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe 2004
Cited by 1

Table A.27: neon refined on 64 processors system information, runtimes and matched HPC Challenge systems (Systems 21-23 of 23).

in unknown title
by unknown authors 2007

Table 2: Increments applied for a population increase of 2013

in On an efficient implementation of Tierra
by Russell K. Standish 1997
Cited by 4
Next 10 →
Results 1 - 10 of 49,324
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University