Sciweavers

7066 search results - page 386 / 1414
» Contact Relations with Applications
Sort
View
ISMVL
2010
IEEE
221views Hardware» more  ISMVL 2010»
15 years 12 months ago
An Ontology Mediated Multimedia Information Retrieval System
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
Umberto Straccia
169
Voted
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 11 months ago
A second order sliding mode controller with polygonal constraints
— It is presented a discontinuous controller that ensure uniform finite-time zero stabilization of the output for uncertain SISO systems of relative degree two, while keeping th...
Francesco Dinuzzo
CONCUR
2004
Springer
15 years 10 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
DLOG
2007
15 years 9 months ago
DLMedia: an Ontology Mediated Multimedia Information Retrieval System
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
Umberto Straccia, Giulio Visco
LREC
2008
105views Education» more  LREC 2008»
15 years 8 months ago
Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration
This paper presents a multipurpose system for wordnet (WN) development, named Hydra. Hydra is an application for data editing and validation, as well as for data retrieval and syn...
Borislav Rizov