12487 search results - page 329 / 2498 » Graspable Work Modeling |
170
click to vote
MRCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
142
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
136
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
139
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
155
Voted
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
In order to combine preoperative data with intraoperative scans for image-guided neurosurgery visualization, accurate registration is necessary. It has been determined previously t...