Sciweavers

406 search results - page 53 / 82
» Constraints on Strong Generative Power
Sort
View
3DIM
2005
IEEE
15 years 6 months ago
Gaussian Scale-Space Dense Disparity Estimation with Anisotropic Disparity-Field Diffusion
We present a new reliable dense disparity estimation algorithm which employs Gaussian scale-space with anisotropic disparity-field diffusion. This algorithm estimates edge-preserv...
Jangheon Kim, Thomas Sikora
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
115
Voted
EVOW
2001
Springer
15 years 5 months ago
Interactions between Art and Mobile Robotic System Engineering
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
Francesco Mondada, Skye Legon
AIPS
2000
15 years 2 months ago
DPPlan: An Algorithm for Fast Solutions Extraction from a Planning Graph
Themostefficient planning algorithms recently developed are mainly based on Graphplansystem or on satisfiability approach. In this paper wepresent a new approach to plan generatio...
Marco Baioletti, Stefano Marcugini, Alfredo Milani
90
Voted
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 18 days ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...