Sciweavers

3758 search results - page 495 / 752
» A Complete Subsumption Algorithm
Sort
View
PVLDB
2008
121views more  PVLDB 2008»
15 years 6 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
247
Voted
CVPR
2009
IEEE
17 years 24 days ago
D - Clutter: Building object model library from unsupervised segmentation of cluttered scenes
Autonomous systems which learn and utilize a limited visual vocabulary have wide spread applications. Enabling such systems to segment a set of cluttered scenes into objects is ...
Chandra Kambhamettu, Dimitris N. Metaxas, Gowri So...
IJRR
2010
93views more  IJRR 2010»
15 years 4 months ago
Autonomous Helicopter Aerobatics through Apprenticeship Learning
Autonomous helicopter flight is widely regarded to be a highly challenging control problem. Despite this fact, human experts can reliably fly helicopters through a wide range of m...
Pieter Abbeel, Adam Coates, Andrew Y. Ng
163
Voted
CIKM
2010
Springer
15 years 4 months ago
Computing the top-k maximal answers in a join of ranked lists
Complex search tasks that utilize information from several data sources, are answered by integrating the results of distinct basic search queries. In such integration, each basic ...
Mirit Shalem, Yaron Kanza
DSD
2010
IEEE
137views Hardware» more  DSD 2010»
15 years 4 months ago
A C-to-RTL Flow as an Energy Efficient Alternative to Embedded Processors in Digital Systems
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
Sameer D. Sahasrabuddhe, Sreenivas Subramanian, Ku...