Sciweavers

9521 search results - page 399 / 1905
» Compiling with continuations, continued
Sort
View
QSHINE
2009
IEEE
15 years 11 months ago
Using Sensor Networks to Measure Intensity in Sporting Activities
The deployment of sensor networks is both widespread and varied with more niche applications based on these networks. In the case study provided in this work, the network is provid...
Mark Roantree, Michael Whelan, Jie Shi, Niall Moyn...
IPPS
2009
IEEE
15 years 11 months ago
Resource allocation strategies for constructive in-network stream processing
We consider the operator mapping problem for in-network stream processing, i.e., the application of a tree of operators in steady-state to multiple data objects that are continuou...
Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo,...
149
Voted
CONCUR
2009
Springer
15 years 11 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
DAGM
2009
Springer
15 years 11 months ago
Globally Optimal Finsler Active Contours
We present a continuous and convex formulation for Finsler active contours using seed regions or utilizing a regional bias term. The utilization of general Finsler metrics instead ...
Christopher Zach, Liang Shan, Marc Niethammer
153
Voted
SARA
2009
Springer
15 years 11 months ago
Some Interval Approximation Techniques for MINLP
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
Nicolas Berger, Laurent Granvilliers