738 search results - page 84 / 148 » Object Orientation and Formal Techniques |
191
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
180
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
312
click to vote
EUSAI
2003
Springer
15 years 11 months ago
2003
Springer
This paper discusses a computer vision based approach for enhancing a physical environment with machine perception. Using techniques for assessing the distance and orientation of a...
171
click to vote
DAGM
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
185
click to vote
PAMI
2002
15 years 6 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...