Sciweavers

2015 search results - page 262 / 403
» Hidden Software Capabilities
Sort
View
CRV
2006
IEEE
99views Robotics» more  CRV 2006»
16 years 13 days ago
The McGill Object Detection Suite
Evaluation of object detection systems requires a set of test images with objects in heterogeneous scenes. Unfortunately, existing publicly available object databases provide few,...
Donovan H. Parks, Martin D. Levine
IAT
2006
IEEE
16 years 13 days ago
Dynamical Control in Large-Scale Material Handling Systems through Agent Technology
Delayed arrivals, missing tag codes, flight changes, break-downs, etc. are some of the factors, which make the environment of airport baggage handling systems (BHS) extremely dyn...
Kasper Hallenborg, Yves Demazeau
IPPS
2006
IEEE
16 years 12 days ago
Performance Analysis of the Reactor Pattern in Network Services
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
Swapna S. Gokhale, Aniruddha S. Gokhale, Jeffrey G...
SEFM
2006
IEEE
16 years 11 days ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
IUI
2006
ACM
16 years 10 days ago
A goal-oriented interface to consumer electronics using planning and commonsense reasoning
We are reaching a crisis with design of user interfaces for consumer electronics. Flashing 12:00 time indicators, push-andhold buttons, and interminable modes and menus are all sy...
Henry Lieberman, José H. Espinosa