7195 search results - page 1099 / 1439 » On Computing Power |
186
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
179
click to vote
AIML
2006
15 years 8 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
205
click to vote
CIIA
2009
15 years 7 months ago
2009
The increasing power of computers, increasing capacity of digital memory and wider availability of a great variety of input devices such as cameras and video recorders, has resulte...
204
Voted
DCG
2010
15 years 6 months ago
2010
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
215
click to vote
DPD
2007
15 years 6 months ago
2007
In modern heterogeneous environments, such as mobile, pervasive and ad-hoc networks, architectures based on web services offer an attractive solution for effective communication a...