Sciweavers

1634 search results - page 173 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
ECOOPW
1994
Springer
14 years 2 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
ACIIDS
2010
IEEE
115views Database» more  ACIIDS 2010»
13 years 8 months ago
An Ambient Agent Model Incorporating an Adaptive Model for Environmental Dynamics
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
Jan Treur, Muhammad Umair
KR
2004
Springer
14 years 4 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
AAAI
2004
14 years 6 days ago
Automatic Generation of Artistic Chinese Calligraphy
We introduce a novel intelligent system which can generate new Chinese calligraphic artwork that meets certain aesthetic requirements automatically. In the machine learning phase,...
Songhua Xu, Francis C. M. Lau, Kwok-Wai Cheung, Yu...
JMM2
2006
167views more  JMM2 2006»
13 years 10 months ago
Computer Vision Methods for Improved Mobile Robot State Estimation in Challenging Terrains
External perception based on vision plays a critical role in developing improved and robust localization algorithms, as well as gaining important information about the vehicle and ...
Annalisa Milella, Giulio Reina, Roland Siegwart