Sciweavers

1156 search results - page 123 / 232
» Compositional Methods for Information-Hiding
Sort
View
SIGGRAPH
2000
ACM
14 years 1 months ago
Lapped textures
We present a method for creating texture over an arbitrary surface mesh using an example 2D texture. The approach is to identify interesting regions (texture patches) in the 2D ex...
Emil Praun, Adam Finkelstein, Hugues Hoppe
IPPS
1999
IEEE
14 years 1 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund
GECCO
2006
Springer
198views Optimization» more  GECCO 2006»
14 years 21 days ago
Autonomous evolutionary music composer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...
Yaser M. A. Khalifa, Mohamed Basel Al-Mourad
IDEAS
1997
IEEE
93views Database» more  IDEAS 1997»
14 years 18 days ago
Schema Evolution in Object Databases by Catalogs
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
Anne Pons, Rudolf K. Keller
ICPR
2010
IEEE
14 years 14 days ago
Vehicle Recognition As Changes in Satellite Imagery
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
Ozge Can Ozcanli, Joseph Mundy