4166 search results - page 354 / 834 » Automating the constraining process |
143
Voted
TARK
1998
Springer
15 years 9 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
125
Voted
ICCBR
1997
Springer
15 years 9 months ago
1997
Springer
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...
143
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
119
click to vote
GIS
1992
ACM
15 years 8 months ago
1992
ACM
Theoretical and empirical work on the geometry of environmental knowledge is discussed. Certain patterns of distanc.e and directional estimates collected from humans have been inte...
144
click to vote
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
We describe two instances in which precise mechanical calibration of virtual environments equipment has been replaced by automated algorithmic calibration through software that en...