4 search results - page 1 / 1 » Verifying CSP-OZ-DC Specifications with Complex Data Types a... |
IFM
2007
Springer
13 years 10 months ago
2007
Springer
WSCG
2004
13 years 5 months ago
2004
In many computer graphics and computer-aided design problems, it is very common to find a smooth and well structured surface to fit a set of unstructured 3-dimensional data. Altho...
EUSFLAT
2001
13 years 5 months ago
2001
Standard financial techniques neglect extreme situations and regards large market shifts as too unlikely to matter. Such approach accounts for what occurs most of the time in the ...
GIS
2006
ACM
14 years 5 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...