Sciweavers

1078 search results - page 79 / 216
» Local and Global Relational Consistency
Sort
View
CC
2002
Springer
107views System Software» more  CC 2002»
14 years 9 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot
ICIP
1998
IEEE
15 years 11 months ago
Invariant-based Data Model for Image Databases
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
Michael Kliot, Ehud Rivlin
54
Voted
CGF
2006
83views more  CGF 2006»
14 years 10 months ago
Seamless Integration of Initial Sketching and Subsequent Detail Editing in Flower Modeling
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...
Takashi Ijiri, Shigeru Owada, Takeo Igarashi
ICTIR
2009
Springer
15 years 4 months ago
What's in a Link? From Document Importance to Topical Relevance
Web information retrieval is best known for its use of the Web’s link structure as a source of evidence. Global link evidence is by nature query-independent, and is therefore no ...
Marijn Koolen, Jaap Kamps
LREC
2008
95views Education» more  LREC 2008»
14 years 11 months ago
Evaluation Metrics for Automatic Temporal Annotation of Texts
Recent years have seen increasing attention in temporal processing of texts as well as a lot of standardization effort of temporal information in natural language. A central part ...
Xavier Tannier, Philippe Muller