2291 search results - page 208 / 459 » Representational Reasoning and Verification |
93
Voted
CVIU
2008
15 years 27 days ago
2008
This survey covers the historical development and current state of the art in image understanding for iris biometrics. Most research publications can be categorized as making thei...
86
Voted
KI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
165
click to vote
KRDB
2003
15 years 2 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
110
click to vote
DLOG
1997
15 years 2 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...