Sciweavers

1939 search results - page 224 / 388
» Dynamic Lex Constraints
Sort
View
CORR
2010
Springer
163views Education» more  CORR 2010»
15 years 2 months ago
Design of QoS-aware Provisioning Systems
We present an architecture of a hosting system consisting of a set of hosted Web Services subject to QoS constraints, and a certain number of servers used to run users demand. The ...
Michele Mazzucco, Manuel Mazzara, Nicola Dragoni
169
Voted
CVPR
2011
IEEE
15 years 1 months ago
Repetition-based Dense Single-View Reconstruction
This paper presents a novel approach for dense reconstruction from a single-view of a repetitive scene structure. Given an image and its detected repetition regions, we model the ...
Changchang Wu, Jan-Michael Frahm, Marc Pollefeys
AMAST
2010
Springer
14 years 11 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
JMLR
2010
149views more  JMLR 2010»
14 years 11 months ago
Learning Bayesian Network Structure using LP Relaxations
We propose to solve the combinatorial problem of finding the highest scoring Bayesian network structure from data. This structure learning problem can be viewed as an inference pr...
Tommi Jaakkola, David Sontag, Amir Globerson, Mari...
TMC
2010
167views more  TMC 2010»
14 years 11 months ago
Optimal Speed Control of Mobile Node for Data Collection in Sensor Networks
A data mule represents a mobile device that collects data in a sensor field by physically visiting the nodes in a sensor network. The data mule collects data when it is in the prox...
Ryo Sugihara, Rajesh K. Gupta