Sciweavers

1257 search results - page 138 / 252
» Simplifying spline models
Sort
View
DAC
1994
ACM
15 years 7 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
132
Voted
DCOSS
2010
Springer
15 years 6 months ago
Programming Sensor Networks with State-Centric Services
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
Andreas Lachenmann, Ulrich Müller, Robert Sug...
119
Voted
BTW
2009
Springer
150views Database» more  BTW 2009»
15 years 6 months ago
The Frontiers of Data Programmability
: Simplifying data programming is a core mission of data management research. The issue at stake is to help engineers build efficient and robust data-centric applications. The fron...
Sergey Melnik
SGP
2007
15 years 6 months ago
Symmetry-enhanced remeshing of surfaces
While existing methods for 3D surface approximation use local geometric properties, we propose that more intuitive results can be obtained by considering global shape properties s...
Joshua Podolak, Aleksey Golovinskiy, Szymon Rusink...
99
Voted
AAAI
2008
15 years 5 months ago
Bayesian Coalitional Games
We introduce Bayesian Coalitional Games1 (BCGs), a generalization of classical coalitional games to settings with uncertainties. We define the semantics of BCG using the partition...
Samuel Ieong, Yoav Shoham