Sciweavers

2364 search results - page 396 / 473
» An Engine for Computing Well-Founded Models
Sort
View
AAAI
1998
15 years 5 months ago
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
Christopher Bailey-Kellogg, Feng Zhao
HUC
2010
Springer
15 years 4 months ago
Bayesian recognition of motion related activities with inertial sensors
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
Korbinian Frank, Maria Josefa Vera Nadales, Patric...
CGF
2008
102views more  CGF 2008»
15 years 4 months ago
Sound Tracing: Rendering Listener Specific Acoustic Room Properties
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
Jens Bellmann, Frank Michel, Eduard Deines, Martin...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 4 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

Publication
139views
15 years 4 months ago
Separation of concerns in compiler development using aspect-orientation
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...