3909 search results - page 661 / 782 » Extreme Model Checking |
136
Voted
PPAM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
130
Voted
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
When an image is viewed at varying resolutions, it is known to create discrete perceptual jumps or transitions amid the continuous intensity changes. In this paper, we study a per...
145
Voted
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
104
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
We introduce a new concept for accelerating realistic image synthesis algorithms. At the core of this procedure is a novel physical error metric that correctly predicts the percep...
112
click to vote
DIMVA
2010
15 years 4 months ago
2010
Abstract. Skype is one of the most used P2P applications on the Internet: VoIP calls, instant messaging, SMS and other features are provided at a low cost to millions of users. Alt...