Sciweavers

14782 search results - page 2598 / 2957
» Activities in Object Bases
Sort
View
COSIT
2001
Springer
197views GIS» more  COSIT 2001»
15 years 11 months ago
Geographical Information Retrieval with Ontologies of Place
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...
Christopher B. Jones, Harith Alani, Douglas Tudhop...
ECOOP
2001
Springer
15 years 11 months ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...
EMO
2001
Springer
109views Optimization» more  EMO 2001»
15 years 11 months ago
Specification of Genetic Search Directions in Cellular Multi-objective Genetic Algorithms
When we try to implement a multi-objective genetic algorithm (MOGA) with variable weights for finding a set of Pareto optimal solutions, one difficulty lies in determining appropri...
Tadahiko Murata, Hisao Ishibuchi, Mitsuo Gen
ESOP
2001
Springer
15 years 11 months ago
Proof-Directed De-compilation of Low-Level Code
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
Shin-ya Katsumata, Atsushi Ohori
SIGGRAPH
2010
ACM
15 years 11 months ago
Interactive on-surface signal deformation
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
Tobias Ritschel, Thorsten Thormählen, Carsten Dac...
« Prev « First page 2598 / 2957 Last » Next »