Sciweavers

14709 search results - page 246 / 2942
» Semantic feature modelling
Sort
View
ICMCS
2005
IEEE
175views Multimedia» more  ICMCS 2005»
16 years 7 days ago
XML path based relevance model for automatic image annotation
This is the first paper that proposes automatic image annotation using the semantics of XML. In this paper, we propose XPRM - XML Path based Relevance Model for automatic image a...
Manjeet Rege, Ming Dong, Farshad Fotouhi
CIVR
2004
Springer
118views Image Analysis» more  CIVR 2004»
16 years 1 days ago
Use of Image Subset Features in Image Retrieval with Self-Organizing Maps
In content-based image retrieval (CBIR), the images in a database are indexed on the basis of low-level statistical features that can be automatically derived from the images. Due ...
Markus Koskela, Jorma Laaksonen, Erkki Oja
ICLP
2001
Springer
15 years 11 months ago
Fixed-Parameter Complexity of Semantics for Logic Programs
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
Zbigniew Lonc, Miroslaw Truszczynski
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
CIE
2005
Springer
16 years 5 days ago
Kripke Models, Distributive Lattices, and Medvedev Degrees
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
Sebastiaan Terwijn