Sciweavers

1382 search results - page 95 / 277
» Procedural Generation of Roads
Sort
View
135
Voted
ECML
2006
Springer
15 years 8 months ago
Efficient Prediction-Based Validation for Document Clustering
Recently, stability-based techniques have emerged as a very promising solution to the problem of cluster validation. An inherent drawback of these approaches is the computational c...
Derek Greene, Padraig Cunningham
LICS
2000
IEEE
15 years 8 months ago
Efficient and Flexible Matching of Recursive Types
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
Jens Palsberg, Tian Zhao
155
Voted
ICCAD
1994
IEEE
119views Hardware» more  ICCAD 1994»
15 years 8 months ago
Multi-level network optimization for low power
This paper describes a procedure for minimizing the power consumption in a boolean network under the zero delay model. Power is minimized by modifying the function of each interme...
Sasan Iman, Massoud Pedram
WSC
2007
15 years 7 months ago
A confidence interval for tail conditional expectation via two-level simulation
We develop and evaluate a two-level simulation procedure that produces a confidence interval for tail conditional expectation, otherwise known as conditional tail expectation. Th...
Hai Lan, Barry L. Nelson, Jeremy Staum
PUK
2000
15 years 6 months ago
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Jana Koehler, Jörg Hoffmann