Sciweavers

2008 search results - page 225 / 402
» Computing with Equations
Sort
View
ICCV
2005
IEEE
16 years 5 months ago
Reconstructing the Geometry of Flowing Water
We present a recording scheme, image formation model and reconstruction method that enables image-based modeling of flowing bodies of water from multi-video input data. The record...
Bastian Goldlücke, Ivo Ihrke, Marcus A. Magno...
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
15 years 3 months ago
An analytical framework to infer multihop path reliability in MANETs
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
Nelson Antunes, Gonçalo Jacinto, Antó...
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
15 years 9 months ago
An analytical state dependent leakage power model for FPGAs
In this paper we present a state dependent analytical leakage power model for FPGAs. The model accounts for subthreshold leakage and gate leakage in FPGAs, since these are the two...
Akhilesh Kumar, Mohab Anis
126
Voted
CMSB
2008
Springer
15 years 5 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
CONCUR
2009
Springer
15 years 8 months ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...