5754 search results - page 139 / 1151 » Multi-class Model M |
114
click to vote
ENTCS
2007
15 years 4 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...
130
click to vote
NAR
2006
15 years 4 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...
143
Voted
ICML
1997
IEEE
16 years 5 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...
142
Voted
ICRA
2009
IEEE
15 years 11 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...
140
Voted
IWOMP
2009
Springer
15 years 11 months 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...