Sciweavers

475 search results - page 52 / 95
» A Framework for Expressing and Combining Preferences
Sort
View
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
14 years 27 days ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
OOPSLA
1987
Springer
14 years 6 days ago
Self: The Power of Simplicity
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
David Ungar, Randall B. Smith
SYNTHESE
2008
88views more  SYNTHESE 2008»
13 years 8 months ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette
IWPEC
2009
Springer
14 years 3 months ago
Pareto Complexity of Two-Parameter FPT Problems: A Case Study for Partial Vertex Cover
We describe a framework for expressing the complexity of algorithms for FPT problems with two separate parameters k, m and with exponential time bounds O∗ (xk ym ) where x, y &g...
Peter Damaschke
AMR
2007
Springer
203views Multimedia» more  AMR 2007»
14 years 2 months ago
Automatic Image Annotation Using a Visual Dictionary Based on Reliable Image Segmentation
Recent approaches in Automatic Image Annotation (AIA) try to combine the expressiveness of natural language queries with approaches to minimize the manual effort for image annotat...
Christian Hentschel, Sebastian Stober, Andreas N&u...