Sciweavers

3677 search results - page 582 / 736
» Generalized Adaptive A*
Sort
View
167
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
Requirements reflection: requirements as runtime entities
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony ...
179
Voted
DAC
2005
ACM
15 years 9 months ago
Spatially distributed 3D circuit models
Spatially distributed 3D circuit models are extracted with a segmentto-segment BEM (Boundary Element Method) algorithm for both capacitance and inverse inductance couplings rather...
Michael W. Beattie, Hui Zheng, Anirudh Devgan, Byr...
208
Voted
ECML
2006
Springer
15 years 9 months ago
Cascade Evaluation of Clustering Algorithms
Abstract. This paper is about the evaluation of the results of clustering algorithms, and the comparison of such algorithms. We propose a new method based on the enrichment of a se...
Laurent Candillier, Isabelle Tellier, Fabien Torre...
ACMACE
2007
ACM
15 years 8 months ago
Sharing visual information in virtual environments using projective texture mapping
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
Yannick Francken, Johan Huysmans, Philippe Bekaert
CSCLP
2008
Springer
15 years 8 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...