7092 search results - page 440 / 1419 » Parallelizing constraint programs |
158
Voted
SAS
1994
Springer
15 years 7 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
115
Voted
UIST
1994
ACM
15 years 7 months ago
1994
ACM
We propose a new evolutionary method of extracting user preferences from examples shown to an automatic graph layout system. Using stochastic methods such as simulated annealing a...
153
Voted
HHCI
2000
15 years 7 months ago
2000
Using virtual objects that provided haptic feedback we studied two-fingered movements of reaching to grasp and lift an object. These reach-grasp-lift movements were directed to ob...
110
Voted
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we consider the link prediction problem, where we are given a partial snapshot of a network at some time and the goal is to predict the additional links formed at a ...
130
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
We present a method for reconstructing a trajectory of an object moving in front of non-overlapping fully or partially calibrated cameras. The non-overlapping setup turns that pro...