Sciweavers

418 search results - page 63 / 84
» A Formal Model of Human Workflow
Sort
View
ROBOCUP
2004
Springer
133views Robotics» more  ROBOCUP 2004»
15 years 3 months ago
Towards a League-Independent Qualitative Soccer Theory for RoboCup
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer,...
ER
2006
Springer
99views Database» more  ER 2006»
15 years 1 months ago
Ontology with Likeliness and Typicality of Objects in Concepts
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
Ching-man Au Yeung, Ho-fung Leung
NGITS
1999
Springer
15 years 1 months ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori
HRI
2007
ACM
15 years 1 months ago
Elements of a spoken language programming interface for robots
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
Tim Miller, Andrew Exley, William Schuler
JUCS
2008
115views more  JUCS 2008»
14 years 9 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...