Sciweavers

2972 search results - page 117 / 595
» Representing the Knowledge of a Robot
Sort
View
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
15 years 12 months ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu
VLSM
2005
Springer
15 years 12 months ago
Uncertainty-Driven Non-parametric Knowledge-Based Segmentation: The Corpus Callosum Case
Abstract. In this paper we propose a novel variational technique for the knowledge based segmentation of two dimensional objects. One of the elements of our approach is the use of ...
Maxime Taron, Nikos Paragios, Marie-Pierre Jolly
WEBI
2005
Springer
15 years 12 months ago
The Role of Local Knowledge in Complex Web Service Reconfiguration
As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynam...
Sander van Splunter, Pieter H. G. van Langen, Fran...
TABLEAUX
2009
Springer
15 years 11 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
ECAI
2006
Springer
15 years 10 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...