Sciweavers

3718 search results - page 536 / 744
» Programming by Integration in Robotics
Sort
View
ICPR
2008
IEEE
16 years 1 months ago
Video attention: Learning to detect a salient object sequence
We study video attention by detecting a salient object sequence from video segment. We formulate salient object sequence detection as energy minimization problem in a conditional ...
Tie Liu, Nanning Zheng, Wei Ding, Zejian Yuan
169
Voted
SIBGRAPI
2008
IEEE
16 years 1 months ago
An Automatic Crude Registration of Two Partially Overlapping Range Images
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
Mercedes Rocío Gonzales Márquez, Shi...
TPHOL
2008
IEEE
16 years 1 months ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
Matthieu Sozeau, Nicolas Oury
200
Voted
AGILEDC
2007
IEEE
16 years 1 months ago
Towards Extreme(ly) Usable Software: Exploring Tensions Between Usability and Agile Software Development
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
Jason Chong Lee, D. Scott McCrickard
200
Voted
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
16 years 1 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale