1716 search results - page 284 / 344 » Proving Conditional Termination |
110
Voted
ENTCS
2008
15 years 26 days ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
95
Voted
CGF
2006
15 years 25 days ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
106
click to vote
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Abstract--In this paper, we propose a decentralized sensor network scheme capable to reach a globally optimum maximum-likelihood (ML) estimate through self-synchronization of nonli...
98
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
113
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...