Sciweavers

5718 search results - page 723 / 1144
» Modeling Rule Precision
Sort
View
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
16 years 2 months ago
An Integer Linear Programming Approach to Database Design
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
Stratos Papadomanolakis, Anastassia Ailamaki
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
16 years 2 months ago
Human-Robot Interactions as a Cognitive Catalyst for the Learning of Behavioral Attractors
— We address in this paper the problem of the autonomous online learning of a sensory-motor task, demonstrated by an operator guiding the robot. For the last decade, we have deve...
Christophe Giovannangeli, Philippe Gaussier
SIBGRAPI
2007
IEEE
16 years 2 months ago
Application-independent accurate mouse placements on surfaces of arbitrary geometry
Most direct manipulation tasks rely on precise placements of the cursor on the object of interest. Commonly, this requires the knowledge of distinct application-dependent geometry...
Harlen Costa Batagelo, Shin-Ting Wu
WACV
2007
IEEE
16 years 2 months ago
Video-based Metrology of Water Droplet Spreading on Nanostructured Surfaces
Dynamic wettability of a nanostructured surface is an important property for many liquid-related applications of nanostructures. The dynamic wettability analysis is performed by m...
Samuel Cheng, Xingzhi Luo, Suchendra M. Bhandarkar...
FROCOS
2007
Springer
16 years 1 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...