5348 search results - page 829 / 1070 » Variational surface modeling |
155
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
153
click to vote
ICIAR
2010
Springer
15 years 8 months ago
2010
Springer
Accurate and precise estimation of the noise variance is often of key importance as an input parameter for posterior image processing tasks. In MR images, background data is well s...
139
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
143
click to vote
AAAI
2008
15 years 7 months ago
2008
Humans have an amazing ability to perceive depth from a single still image; however, it remains a challenging problem for current computer vision systems. In this paper, we will p...
144
click to vote
WSC
2007
15 years 7 months ago
2007
Agent-based simulation provides a methodology to investigate complex systems behavior, such as supply chains, while incorporating many empirical elements relative to both systems ...