Sciweavers

3818 search results - page 701 / 764
» Learning from Order Examples
Sort
View
IROS
2008
IEEE
95views Robotics» more  IROS 2008»
15 years 9 months ago
Energy management for indoor hovering robots
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
James F. Roberts, Jean-Christophe Zufferey, Dario ...
DASFAA
2007
IEEE
150views Database» more  DASFAA 2007»
15 years 8 months ago
TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data
TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As applic...
Andreas Behrend, Christian Dorau, Rainer Manthey
VMCAI
2007
Springer
15 years 8 months ago
Better Under-Approximation of Programs by Hiding Variables
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
Thomas Ball, Orna Kupferman
ISCAS
2006
IEEE
160views Hardware» more  ISCAS 2006»
15 years 8 months ago
Address-event image sensor network
We describe a sensor network based on smart requirements of the network. This will provide a new approach imager sensors able to extract events of interest from a scene. for compos...
Eugenio Culurciello, Andreas Savvides
PROFES
2004
Springer
15 years 7 months ago
Using a Reference Application with Design Patterns to Produce Industrial Software
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
Marek Vokác, Oluf Jensen