6368 search results - page 951 / 1274 » Modeling Problem Transformations based on Data Complexity |
223
click to vote
AAAI
2006
15 years 8 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
163
click to vote
ACSD
2003
IEEE
16 years 3 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
151
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Recently several statistical methods have been proposed to identify genes with differential expression between two conditions. However, very few studies consider the p...
187
click to vote
TPDS
2010
15 years 5 months ago
2010
—Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an ...
190
click to vote
PAMI
2006
15 years 6 months ago
2006
Recognizing classes of objects from their shape is an unsolved problem in machine vision that entails the ability of a computer system to represent and generalize complex geometric...