2661 search results - page 297 / 533 » Quantum Complexity Classes |
138
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
104
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
Cheminformatic Assisted Image Array (CAIA) is a data mining and visualization tool linking chemical structures to microscope images of cells incubated with prospective bioimaging ...
118
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...
165
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
129
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...