10870 search results - page 2037 / 2174 » Model Checking Programs |
107
click to vote
IADIS
2003
15 years 3 months ago
2003
The World Wide Web is a collection of databases as well as web sites. Databases associated with web sites provide public access via query forms on web pages. They constitute an en...
107
click to vote
IJCAI
2003
15 years 3 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
122
click to vote
VMV
2001
15 years 3 months ago
2001
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
119
click to vote
INTERACT
2003
15 years 3 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
124
Voted
WICSA
2001
15 years 3 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...