Sciweavers

9873 search results - page 339 / 1975
» Emergent Semantics Systems
Sort
View
GECCO
2006
Springer
191views Optimization» more  GECCO 2006»
15 years 10 months ago
The Brueckner network: an immobile sorting swarm
In many industrial applications, the dynamic control of queuing and routing presents difficult challenges. We describe a novel ant colony control system for a multiobjective sorti...
William A. Tozier, Michael R. Chesher, Tejinderpal...
MMM
2010
Springer
203views Multimedia» more  MMM 2010»
16 years 3 months ago
TV News Story Segmentation Based on Semantic Coherence and Content Similarity
In this paper, we introduce and evaluate two novel approaches, one using video stream and the other using close-caption text stream, for segmenting TV news into stories. The segmen...
Hemant Misra, Frank Hopfgartner, Anuj Goyal, P. Pu...
DEXA
2007
Springer
131views Database» more  DEXA 2007»
16 years 28 days ago
Improving Semantic Query Answering
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...
Norbert Kottmann, Thomas Studer
CSL
2001
Springer
15 years 11 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
STACS
2001
Springer
15 years 11 months ago
Semantical Principles in the Modal Logic of Coalgebras
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
Dirk Pattinson