1670 search results - page 279 / 334 » On Skolemization in constructive theories |
TOH
2010
14 years 8 months ago
2010
—It is believed that the use of haptic sensors to measure the magnitude, direction, and distribution of a force will enable a robotic hand to perform dexterous operations. Theref...
104
click to vote
TVCG
2010
2010
Mental Models, Visual Reasoning and Interaction in Information Visualization: A Top-down Perspective
14 years 8 months ago
—Although previous research has suggested that examining the interplay between internal and external representations can benefit our understanding of the role of information vis...
125
click to vote
AGP
2010
IEEE
14 years 8 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
COMPIMAGE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this paper, we analyze the effects of energy normalization in adaptivehierarchy-based energy minimization methods. Adaptive hierarchies provide a nt multi-level abstra...
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Pitching is the starting point of an event in baseball games. Hence, locating pitching shots is a critical step in content analysis of a baseball game video. However, pitching fra...