Sciweavers

8099 search results - page 1314 / 1620
» Higher-Order Task Models
Sort
View
CBSE
2011
Springer
14 years 4 months ago
Rectifying orphan components using group-failover in distributed real-time and embedded systems
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
Sumant Tambe, Aniruddha S. Gokhale
EMSOFT
2011
Springer
14 years 4 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
ICDE
2012
IEEE
216views Database» more  ICDE 2012»
13 years 7 months ago
Load Balancing in MapReduce Based on Scalable Cardinality Estimates
—MapReduce has emerged as a popular tool for distributed and scalable processing of massive data sets and is increasingly being used in e-science applications. Unfortunately, the...
Benjamin Gufler, Nikolaus Augsten, Angelika Reiser...
CVPR
2009
IEEE
17 years 3 days ago
Regularized Multi-Class Semi-Supervised Boosting
Many semi-supervised learning algorithms only deal with binary classification. Their extension to the multi-class problem is usually obtained by repeatedly solving a set of bina...
Amir Saffari, Christian Leistner, Horst Bischof
CVPR
2009
IEEE
16 years 12 months ago
Active Stereo Tracking of Multiple Free-Moving Targets
This article presents a general approach for the active stereo tracking of multiple moving targets. The problem is formulated on the plane, where cameras are modeled as ”line ...
Helder Araújo, João P. Barreto, Luis...
« Prev « First page 1314 / 1620 Last » Next »