846 search results - page 141 / 170 » Rewrite-Based Decision Procedures |
127
Voted
AAAI
2008
15 years 7 months ago
2008
In complex strategic situations decision-making agents interact with many other agents and have access to many pieces of information throughout their play. This usually leads to g...
129
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
150
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
149
click to vote
APGV
2006
ACM
15 years 7 months ago
2006
ACM
One of the most important, still unsolved problems in computer graphics is the generation of predictive imagery, i.e., images that represent perfect renditions of reality. Such pe...
182
click to vote
CVPR
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, there has been a flurry of research on face recognition based on multiple images or shots from either a video sequence or an image set. This paper is also such an attemp...