6608 search results - page 1193 / 1322 » On the Completeness of Model Checking |
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Position control devices enable precise selection, but significant clutching degrades performance. Clutching can be reduced with high control-display gain or pointer acceleration,...
136
click to vote
CVIU
2008
15 years 4 months ago
2008
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated cameras with non overlapping fields of view. The approach relie...
115
click to vote
EOR
2010
15 years 4 months ago
2010
ic copy available at: http://ssrn.com/abstract=1115410 Inventory Systems with Stochastic Demand and Supply: Properties and Approximations Amanda J. Schmitt Center for Transportatio...
147
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...
122
click to vote
ENTCS
2008
15 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...