10568 search results - page 519 / 2114 » Computer Intelligence and Formalization |
156
click to vote
PROMAS
2005
Springer
15 years 11 months ago
2005
Springer
The concepts of autonomous agent and multi-agent system appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational s...
181
click to vote
IJCAI
2001
15 years 7 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
152
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...
171
click to vote
IDA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
168
click to vote
IWANN
2009
Springer
16 years 21 days ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...