Sciweavers

6343 search results - page 906 / 1269
» Development of a Cartographic Language
Sort
View
AAAI
2004
15 years 8 months ago
VModel: A Visual Qualitative Modeling Environment for Middle-School Students
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
Kenneth D. Forbus, Karen Carney, Bruce L. Sherin, ...
AAAI
2004
15 years 8 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
AAAI
2006
15 years 8 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
191
Voted
ACSW
2004
15 years 8 months ago
Towards a multi-lingual workflow system a practical outlook
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...
Bastin Tony Roy Savarimuthu, Maryam Purvis
DLOG
2004
15 years 8 months ago
Pellet: An OWL DL Reasoner
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
Evren Sirin, Bijan Parsia