1996 search results - page 296 / 400 » A decision procedure for linear |
168
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
164
click to vote
WIA
2000
Springer
15 years 10 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
140
click to vote
AAAI
2008
15 years 8 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...
152
click to vote
ATAL
2008
Springer
15 years 8 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...
167
click to vote
APGV
2006
ACM
15 years 8 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...