9387 search results - page 1211 / 1878 » An Optimal Process Model for a Real Time Process |
203
click to vote
OTM
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
220
click to vote
JCP
2007
15 years 7 months ago
2007
- The kinematic filter is a common tool in control and signal processing applications dealing with position, velocity and other kinematical variables. Usually the filter gain is gi...
198
Voted
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We address the problem of multi-person dataassociation-based tracking (DAT) in semi-crowded environments from a single camera. Existing trackletassociation-based methods using pur...
237
Voted
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
191
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...