1157 search results - page 225 / 232 » Descriptive Complexity and Model Checking |
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...
SIGCOMM
2004
ACM
14 years 2 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
SCM
1998
13 years 10 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
BMCBI
2007
13 years 8 months ago
2007
Background: Technological advances in high-throughput techniques and efficient data acquisition methods have resulted in a massive amount of life science data. The data is stored ...
SC
2009
ACM
14 years 3 months ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...