Sciweavers

239 search results - page 39 / 48
» The Parameterized Complexity of Global Constraints
Sort
View
CVPR
2007
IEEE
14 years 10 months ago
Autocalibration via Rank-Constrained Estimation of the Absolute Quadric
We present an autocalibration algorithm for upgrading a projective reconstruction to a metric reconstruction by estimating the absolute dual quadric. The algorithm enforces the ra...
Manmohan Krishna Chandraker, Sameer Agarwal, Fredr...
ECCV
2006
Springer
14 years 10 months ago
Optimal Multi-frame Correspondence with Assignment Tensors
Abstract. Establishing correspondence between features of a set of images has been a long-standing issue amongst the computer vision community. We propose a method that solves the ...
R. Oliveira, R. Ferreira, J. P. Costeira
COMPSAC
2009
IEEE
14 years 3 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
TASE
2008
IEEE
14 years 3 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
IROS
2007
IEEE
266views Robotics» more  IROS 2007»
14 years 3 months ago
Incremental multi-robot task selection for resource constrained and interrelated tasks
— When the tasks of a mission are interrelated and subject to several resource constraints, more efforts are needed to coordinate robots towards achieving the mission than indepe...
Sanem Sariel, Tucker R. Balch, Nadia Erdogan