6047 search results - page 597 / 1210 » Modeling with Extend |
185
Voted
PADS
1996
ACM
15 years 11 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
196
Voted
CAIP
1993
Springer
15 years 11 months ago
1993
Springer
One robust method to reconstruct shape is photometric stereo (PMS), which reconstructs surface orientation using the Lambertian reflection properties of the surface material. To i...
192
click to vote
CAAP
1992
15 years 11 months ago
1992
We extend results about heights of random trees (Devroye, 1986, 1987, 1998b). In this paper, a general split tree model is considered in which the normalized subtree sizes of node...
173
Voted
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
205
Voted
SAT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...