Sciweavers

846 search results - page 141 / 170
» Rewrite-Based Decision Procedures
Sort
View
127
Voted
AAAI
2008
15 years 7 months ago
Using Reasoning Patterns to Simplify Games
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...
Dimitrios Antos, Avi Pfeffer
ATAL
2008
Springer
15 years 7 months ago
Constitutive interoperability
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
Amit K. Chopra, Munindar P. Singh
CAV
2008
Springer
158views Hardware» more  CAV 2008»
15 years 7 months ago
Linear Arithmetic with Stars
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...
Ruzica Piskac, Viktor Kuncak
APGV
2006
ACM
138views Visualization» more  APGV 2006»
15 years 7 months ago
Verification of rendering quality from measured BTFs
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...
Jan Meseth, Gero Müller, Reinhard Klein, Flor...
CVPR
2006
IEEE
15 years 7 months ago
Locally Linear Models on Face Appearance Manifolds with Application to Dual-Subspace Based Classification
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...
Wei Fan, Dit-Yan Yeung