2492 search results - page 391 / 499 » An Integrated Rule Modeling Framework |
165
click to vote
ICRA
2007
IEEE
16 years 11 days ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
191
click to vote
ARGMAS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
165
click to vote
QEST
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
173
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
143
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we propose a new clustering procedure for high dimensional microarray data. Major difficulty in cluster analysis of microarray data is that the number of samples to ...