670 search results - page 115 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper reports results from a study in which we automatically classified the query reformulation patterns for 964,780 Web searching sessions (composed of 1,523,072 queries) in...
125
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
121
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
103
Voted
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
103
Voted
COLT
1994
Springer
15 years 4 months ago
1994
Springer
We propose and analyze a distribution learning algorithm for variable memory length Markov processes. These processes can be described by a subclass of probabilistic nite automata...