Sciweavers

2740 search results - page 280 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
ICDAR
2009
IEEE
15 years 10 months ago
Automated Ground Truth Data Generation for Newspaper Document Images
In document image understanding, public datasets with ground-truth are an important part of scientific work. They are not only helpful for developing new methods, but also provid...
Thomas Strecker, Joost van Beusekom, Sahin Albayra...
VLDB
2007
ACM
112views Database» more  VLDB 2007»
15 years 10 months ago
A Generic solution for Warehousing Business Process Data
Improving business processes is critical to any corporation. Process improvement requires analysis as its first basic step. Process analysis has many unique challenges: i) compani...
Fabio Casati, Malú Castellanos, Umeshwar Da...
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
15 years 10 months ago
Integrated Grasp Planning and Visual Object Localization For a Humanoid Robot with Five-Fingered Hands
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
Antonio Morales, Tamim Asfour, Pedram Azad, Steffe...
SEFM
2006
IEEE
15 years 10 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
JSW
2008
130views more  JSW 2008»
15 years 3 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic