9067 search results - page 351 / 1814 » Adaptive Model Checking |
298
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
The evolution of computing technology suggests that it has become more feasible to offer access to Web information in a ubiquitous way, through various kinds of interaction device...
180
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A fundamental goal of a wireless sensor network (WSN) is to collect and deliver data to external applications. Due to the strong constraints of these networks, routing algorith...
160
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
221
click to vote
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
We propose a new robust estimator for parameter estimation in highly noisy data with multiple structures and without prior information on the noise scale of inliers. This is a diag...
193
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...