9067 search results - page 733 / 1814 » Adaptive Model Checking |
230
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
189
click to vote
GMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...
194
click to vote
ACMICEC
2006
ACM
16 years 1 months ago
2006
ACM
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
233
click to vote
MIDDLEWARE
2005
Springer
16 years 1 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
219
click to vote
DMSN
2004
ACM
16 years 29 days ago
2004
ACM
A distributed data-stream architecture finds application in sensor networks for monitoring environment and activities. In such a network, large numbers of sensors deliver continu...