Sciweavers

5592 search results - page 147 / 1119
» On Random Betweenness Constraints
Sort
View
GRAPHICSINTERFACE
2008
13 years 11 months ago
Analyzing the kinematics of bivariate pointing
Despite the importance of pointing-device movement to efficiency in interfaces, little is known on how target shape impacts speed, acceleration, and other kinematic properties of ...
Jaime Ruiz, David Tausky, Andrea Bunt, Edward Lank...
MM
1997
ACM
77views Multimedia» more  MM 1997»
14 years 2 months ago
Constraints for the Web
Constraints can be used to specify declaratively the desired layout of a web document. We present a system architecture in which both the author and the viewer can impose page lay...
Alan Borning, Richard Kuang-Hsu Lin, Kim Marriott
ENTCS
2008
85views more  ENTCS 2008»
13 years 10 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
ARTMED
2006
70views more  ARTMED 2006»
13 years 10 months ago
Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions, and periodic repetiti...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...
3DPVT
2006
IEEE
147views Visualization» more  3DPVT 2006»
14 years 4 months ago
Efficient Constraint Evaluation Algorithms for Hierarchical Next-Best-View Planning
We recently proposed a new and efficient next-bestview algorithm for 3D reconstruction of indoor scenes using active range sensing. We overcome the computation difficulty of evalu...
Kok-Lim Low, Anselmo Lastra