315 search results - page 43 / 63 » A Declarative Formalization of STRIPS |
147
Voted
CHI
1997
ACM
15 years 5 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
98
Voted
AIIDE
2008
15 years 3 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
91
Voted
WSC
2004
15 years 2 months ago
2004
This research investigates Speech Acts performed in the war film Platoon. It aims at finding details about the types of speech acts, their form and how they are expressed by the i...
127
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
92
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...