Sciweavers

993 search results - page 162 / 199
» Set Constraints on Regular Terms
Sort
View
SCVMA
2004
Springer
14 years 3 months ago
Analysis and Interpretation of Multiple Motions Through Surface Saliency
1 . The problem of recovering the 3-D camera and scene structure has been intensively studied and is considered well understood. Starting with two images, a process of establishing...
Mircea Nicolescu, Changki Min, Gérard G. Me...
SASN
2003
ACM
14 years 3 months ago
Modeling vulnerabilities of ad hoc routing protocols
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
Shahan Yang, John S. Baras
DEXA
2003
Springer
149views Database» more  DEXA 2003»
14 years 3 months ago
Capturing Uncertainty in Spatial Queries over Imprecise Data
Emerging applications using miniature electronic devices (e.g., tracking mobile objects using sensors) generate very large amounts of highly dynamic data that poses very high overh...
Xingbo Yu, Sharad Mehrotra
ICRA
2002
IEEE
82views Robotics» more  ICRA 2002»
14 years 2 months ago
Trajectory Design for Formations of Robots by Kinetic Energy Shaping
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
Calin Belta, Vijay Kumar
SIGMOD
2010
ACM
239views Database» more  SIGMOD 2010»
14 years 2 months ago
Computing label-constraint reachability in graph databases
Our world today is generating huge amounts of graph data such as social networks, biological networks, and the semantic web. Many of these real-world graphs are edge-labeled graph...
Ruoming Jin, Hui Hong, Haixun Wang, Ning Ruan, Yan...