7167 search results - page 1096 / 1434 » Answer Set Programming |
AIIDE
2007
15 years 5 months ago
2007
Scripting the plot in a computer role-playing game requires a large number of scripts that are difficult to program, track and maintain. Game adventures often include simple plot...
145
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
140
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...
110
click to vote
CARDIS
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
120
click to vote
AIPRF
2007
15 years 4 months ago
2007
The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...