Sciweavers

4949 search results - page 892 / 990
» Consistency and Set Intersection
Sort
View
FOCS
2008
IEEE
16 years 18 days 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
16 years 17 days 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»
16 years 17 days 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...
ICRA
2008
IEEE
144views Robotics» more  ICRA 2008»
16 years 17 days 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
16 years 15 days 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