9931 search results - page 1781 / 1987 » Generative Modeling by PRISM |
127
click to vote
ENTCS
2002
15 years 4 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
153
click to vote
JAR
2000
15 years 4 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
187
Voted
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
129
click to vote
ALGORITHMICA
1998
15 years 4 months ago
1998
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
125
click to vote
CAGD
1998
15 years 4 months ago
1998
Laguerre geometry provides a simple approach to the design of rational curves and surfaces with rational offsets. These so-called PH curves and PN surfaces can be constructed from...