10263 search results - page 372 / 2053 » From Use Cases to System Operation Specifications |
185
click to vote
ORL
2002
15 years 7 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
230
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
176
click to vote
WSC
2007
15 years 10 months ago
2007
Simulation has long been a significant and powerful force for the improvement of manufacturing operations. More recently, it has been used to increase the efficiency, efficacy, an...
179
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose an integrated framework for automated hand model initialization and tracking using voxel data. Starting with an initial specific hand pose, the Laplacian Eigenspace (LE...
200
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...