Sciweavers

294 search results - page 36 / 59
» Relational Modality
Sort
View
PVLDB
2008
163views more  PVLDB 2008»
14 years 9 months ago
C-DEM: a multi-modal query system for Drosophila Embryo databases
The amount of biological data publicly available has experienced an exponential growth as the technology advances. Online databases are now playing an important role as informatio...
Fan Guo, Lei Li, Christos Faloutsos, Eric P. Xing
CALCO
2005
Springer
69views Mathematics» more  CALCO 2005»
15 years 3 months ago
From T-Coalgebras to Filter Structures and Transition Systems
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
H. Peter Gumm
AAAI
2008
15 years 6 days ago
Learning to Connect Language and Perception
To truly understand language, an intelligent system must be able to connect words, phrases, and sentences to its perception of objects and events in the world. Current natural lan...
Raymond J. Mooney
TARK
2009
Springer
15 years 4 months ago
A logical characterization of iterated admissibility
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
Joseph Y. Halpern, Rafael Pass
AAAI
1994
14 years 11 months ago
Formalizing Ontological Commitment
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...