Sciweavers

4397 search results - page 333 / 880
» Relational Algebra Operations
Sort
View
JUCS
2002
231views more  JUCS 2002»
15 years 4 months ago
Efficient Content-Based and Metadata Retrieval in Image Database
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
Solomon Atnafu, Richard Chbeir, Lionel Brunie
DCC
2007
IEEE
16 years 4 months ago
On the Hughes-Kleinfeld and Knuth's semifields two-dimensional over a weak nucleus
In 1960 Hughes and Kleinfeld [4] constructed a finite semifield which is two dimensional over a weak nucleus. In 1965 Knuth [7] constructed a further three families of finite semif...
Simeon Ball, Michel Lavrauw
TLCA
2007
Springer
15 years 11 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
139
Voted
ECSQARU
2005
Springer
15 years 10 months ago
Multiple Semi-revision in Possibilistic Logic
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
Guilin Qi, Weiru Liu, David A. Bell
ICVS
2003
Springer
15 years 10 months ago
Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
Bernd-Michael Straub, Markus Gerke, Martin Pahl