5754 search results - page 139 / 1151 » Multi-class Model M |
139
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
164
click to vote
NAR
2006
15 years 6 months ago
2006
MODBASE (http://salilab.org/modbase) is a relational database of annotated comparative protein structure models for all available protein sequences matched to at least one known p...
174
click to vote
ICML
1997
IEEE
16 years 7 months ago
1997
IEEE
Machine learning techniques are applicable to computer system optimization. We show that shared memory multiprocessors can successfully utilize machine learning algorithms for mem...
171
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This work adds the concept of object to an existent low-level attention system of the humanoid robot iCub. The objects are defined as clusters of SIFT visual features. When th...
160
click to vote
IWOMP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...