Sciweavers

9370 search results - page 1612 / 1874
» An Abstract Notion of Application
Sort
View
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 6 months ago
Polynomial Linear Programming with Gaussian Belief Propagation
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...
Danny Bickson, Yoav Tock, Ori Shental, Danny Dolev
CPHYSICS
2008
79views more  CPHYSICS 2008»
15 years 6 months ago
Atmospheric MUons from PArametric formulas: a fast GEnerator for neutrino telescopes (MUPAGE)
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
G. Carminati, M. Bazzotti, A. Margiotta, M. Spurio
ENTCS
2010
133views more  ENTCS 2010»
15 years 6 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
AHSWN
2006
148views more  AHSWN 2006»
15 years 6 months ago
Geometric Chemotaxis: A Biologically-Inspired Framework for a Class of Wireless Coverage Problems
Abstract-- We present a new, biologically-inspired algorithm for the problem of covering a given region with wireless "units" (sensors or base-stations). The general prob...
Hidayet Ozgur Sanli, Rahul Simha, Bhagirath Naraha...
FAC
2008
97views more  FAC 2008»
15 years 6 months ago
A functional formalization of on chip communications
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
Julien Schmaltz, Dominique Borrione
« Prev « First page 1612 / 1874 Last » Next »