Sciweavers

271 search results - page 42 / 55
» Combining Fuzzy Description Logics and Fuzzy Logic Programs
Sort
View
FLOPS
2008
Springer
15 years 1 months ago
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
Rafael Caballero, Mario Rodríguez-Artalejo,...
IBPRIA
2007
Springer
15 years 1 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...
OWLED
2008
15 years 1 months ago
Use of OWL 2 to Facilitate a Biomedical Knowledge Base Extracted from the GENIA Corpus
The annotation of the GENIA corpus, a set of biomedical articles, targets the classification of biological entities based on their association with a domain-tailored taxonomy of ca...
Rafal Rak, Lukasz A. Kurgan, Marek Reformat
FOSSACS
2007
Springer
15 years 5 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
15 years 6 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti