Sciweavers

3775 search results - page 634 / 755
» The Expression Problem Revisited
Sort
View
ICCBR
2010
Springer
15 years 2 months ago
Applying Machine Translation Evaluation Techniques to Textual CBR
The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based R...
Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...
ICRA
2010
IEEE
111views Robotics» more  ICRA 2010»
15 years 2 months ago
A new sensor self-calibration framework from velocity measurements
— In this paper we propose a new on-line sensor self-calibration framework. The approach is to consider the sensor/robot interaction that links the sensor signal variations to th...
Olivier Kermorgant, David Folio, François C...
IEE
2010
136views more  IEE 2010»
15 years 2 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 2 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
INFOCOM
2010
IEEE
15 years 2 months ago
Spatio-Temporal Fusion for Small-scale Primary Detection in Cognitive Radio Networks
Abstract—In cognitive radio networks (CRNs), detecting smallscale primary devices—such as wireless microphones (WMs)— is a challenging, but very important, problem that has n...
Alexander W. Min, Xinyu Zhang, Kang G. Shin