5090 search results - page 253 / 1018 » Constructing Strategies for Programming |
137
Voted
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
151
click to vote
DNA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
144
click to vote
INTERACT
1997
15 years 5 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
134
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...