Sciweavers

10790 search results - page 1869 / 2158
» Using feature models to automate model transformations
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
ICCV
2007
IEEE
16 years 26 days ago
Non-Rigid Object Alignment with a Mismatch Template Based on Exhaustive Local Search
Non-rigid object alignment is especially challenging when only a single appearance template is available and target and template images fail to match. Two sources of discrepancy b...
Yang Wang, Simon Lucey, Jeffrey F. Cohn
IBPRIA
2007
Springer
16 years 21 days ago
Robust Lane Lines Detection and Quantitative Assessment
Detection of lane markings based on a camera sensor can be a low cost solution to lane departure and curve over speed warning. A number of methods and implementations have been rep...
Antonio M. López, Joan Serrat, Cristina Ca&...
ATAL
2003
Springer
15 years 11 months ago
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers,...
ICRA
2002
IEEE
102views Robotics» more  ICRA 2002»
15 years 11 months ago
Images Interpolation for Image-Based Control under Large Displacement
The principal deficiency of image-based visual servoing is that the induced (3D) trajectories are not optimal and sometimes, especially when the displacement to realize is large,...
Youcef Mezouar, Anthony Remazeilles, Patrick Gros,...
« Prev « First page 1869 / 2158 Last » Next »