2291 search results - page 326 / 459 » Representational Reasoning and Verification |
AIME
2001
Springer
14 years 2 months ago
2001
Springer
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
SEMWEB
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Topic Maps and RDF are two independently developed paradigms and standards for the representation, interchange, and exploitation of model-based data on the web. Each para...
STACS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...
SIGGRAPH
2000
ACM
14 years 2 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
AIMSA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we introduce the concept of knowledge granularity and study its influence on an agent's action selection process. Action selection is critical to an ag...