Sciweavers

4488 search results - page 405 / 898
» Properties of NP-Complete Sets
Sort
View
TSMC
2010
15 years 2 months ago
Active Learning of Plans for Safety and Reachability Goals With Partial Observability
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
Wonhong Nam, Rajeev Alur
229
Voted
ICDE
2011
IEEE
338views Database» more  ICDE 2011»
14 years 11 months ago
Outlier detection on uncertain data: Objects, instances, and inferences
—This paper studies the problem of outlier detection on uncertain data. We start with a comprehensive model considering both uncertain objects and their instances. An uncertain o...
Bin Jiang, Jian Pei
269
Voted
CVPR
2012
IEEE
13 years 10 months ago
Real-time facial feature detection using conditional regression forests
Although facial feature detection from 2D images is a well-studied field, there is a lack of real-time methods that estimate feature points even on low quality images. Here we pr...
Matthias Dantone, Juergen Gall, Gabriele Fanelli, ...
236
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
Eric Bodden, Patrick Lam, Laurie J. Hendren
STOC
2005
ACM
132views Algorithms» more  STOC 2005»
16 years 8 months ago
Concurrent general composition of secure protocols in the timing model
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakar...