Sciweavers

2962 search results - page 130 / 593
» Reasoning on Association Rules
Sort
View
GFKL
2006
Springer
75views Data Mining» more  GFKL 2006»
15 years 10 months ago
Classification of Contradiction Patterns
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...
Heiko Müller, Ulf Leser, Johann Christoph Fre...
ESWS
2008
Springer
15 years 7 months ago
Semantic Web Technology for Agent Communication Protocols
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
Idoia Berges, Jesús Bermúdez, Alfred...
LOGCOM
2010
128views more  LOGCOM 2010»
15 years 4 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
VL
1999
IEEE
106views Visual Languages» more  VL 1999»
15 years 10 months ago
A Language for Geometric Reasoning in Mobile Robots
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
Joseph J. Pfeiffer Jr.
RTSS
2008
IEEE
16 years 22 days ago
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
Damien Hardy, Isabelle Puaut