Sciweavers

4949 search results - page 892 / 990
» Consistency and Set Intersection
Sort
View
FOCS
2008
IEEE
15 years 7 months ago
Beating the Random Ordering is Hard: Inapproximability of Maximum Acyclic Subgraph
We prove that approximating the Max Acyclic Subgraph problem within a factor better than 1/2 is Unique-Games hard. Specifically, for every constant ε > 0 the following holds:...
Venkatesan Guruswami, Rajsekar Manokaran, Prasad R...
HASE
2008
IEEE
15 years 7 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
ICDM
2008
IEEE
99views Data Mining» more  ICDM 2008»
15 years 7 months ago
One-Class Collaborative Filtering
: © One-Class Collaborative Filtering Rong Pan, Yunhong Zhou, Bin Cao, Nathan N. Liu, Rajan Lukose, Martin Scholz, Qiang Yang HP Laboratories HPL-2008-133 collaborative filtering,...
Rong Pan, Yunhong Zhou, Bin Cao, Nathan Nan Liu, R...
132
Voted
ICRA
2008
IEEE
144views Robotics» more  ICRA 2008»
15 years 7 months ago
Interacting multiple model monocular SLAM
— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion and structure estimation from an image sequence. Unlike standard...
Javier Civera, Andrew J. Davison, J. M. M. Montiel
SEUS
2008
IEEE
15 years 7 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic