4047 search results - page 633 / 810 » Algebraic Model Checking |
213
click to vote
SMA
2009
ACM
16 years 26 days ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...
176
click to vote
SMA
2009
ACM
16 years 26 days ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
157
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
205
click to vote
ECOWS
2007
Springer
16 years 15 days ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
151
click to vote
ICANN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...