979 search results - page 80 / 196 » Footprints in Local Reasoning |
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
There are already a huge number of problems for silicon designers and it is likely to just get worse. Many of these problems are technical associated with shrinking geometries and...
SIGMOD
1998
ACM
13 years 12 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
NIPS
1997
13 years 9 months ago
1997
This paper describes some of the interactions of model learning algorithms and planning algorithms we have found in exploring model-based reinforcement learning. The paper focuses...
MVA
1996
13 years 9 months ago
1996
2 Approach Many methods/approaches about the extraction of road information from map images have been proposed until today. In comparison with these currently developed methods/app...