Sciweavers

3775 search results - page 499 / 755
» The Expression Problem Revisited
Sort
View
IJCAI
2003
15 years 8 months ago
Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?
A new approach to the Text Categorization problem is here presented. It is called Gaussian Weighting and it is a supervised learning algorithm that, during the training phase, est...
Giorgio Maria Di Nunzio, Alessandro Micarelli
VMV
2001
178views Visualization» more  VMV 2001»
15 years 8 months ago
Consistent Visual Information Processing Applied to Object Recognition Landmark Definition and Real-Time Tracking
The handling of situations where multiple visual information occurs requires the fusion of visual information. This is a very common task found in the processing of multisource / ...
Axel Pinz
AAAI
2000
15 years 8 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
AAAI
2008
15 years 7 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
ATAL
2010
Springer
15 years 7 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga