647 search results - page 92 / 130 » Technical method of Zoetmorerope |
CICLING
2010
Springer
14 years 24 days ago
2010
Springer
Abstract. Documents written in languages other than English sometimes include parenthetical English translations, usually for technical and scienti c terminology. Techniques had be...
APLAS
2004
ACM
14 years 16 days ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
ROBOCUP
2000
Springer
14 years 11 days ago
2000
Springer
We describe our technical approach in competing at the RoboCup 2000 Sony legged robot league. The UNSW team won both the challenge competition and all their soccer matches, emergin...
VLDB
1987
ACM
14 years 8 days ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
KR
2010
Springer
13 years 10 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...