2863 search results - page 379 / 573 » Computer modelling and natural phenomena |
183
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
203
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
189
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
221
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
172
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...