1195 search results - page 201 / 239 » Modeling an Algebraic Stepper |
142
click to vote
DAGM
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
209
click to vote
SMA
2009
ACM
16 years 12 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...
170
click to vote
SMA
2009
ACM
16 years 12 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...
150
click to vote
LICS
2007
IEEE
16 years 5 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...
195
click to vote
ECOWS
2007
Springer
16 years 2 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...