Sciweavers

315 search results - page 22 / 63
» Using Logic in the Generation of Referring Expressions
Sort
View
CSL
1999
Springer
15 years 1 months ago
A Road-Map on Complexity for Hybrid Logics
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
Carlos Areces, Patrick Blackburn, Maarten Marx
JMM2
2008
102views more  JMM2 2008»
14 years 9 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...
ICDAR
2003
IEEE
15 years 2 months ago
Generation of Hierarchical Dictionary for Stroke-order Free Kanji Handwriting Recognition Based on Substroke HMM
This paper describes a method of generating a Kanji hierarchical structured dictionary for stroke-number and stroke-order free handwriting recognition based on substroke HMM. In s...
Mitsuru Nakai, Hiroshi Shimodaira, Shigeki Sagayam...
ECSQARU
2007
Springer
15 years 3 months ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
BMCBI
2010
214views more  BMCBI 2010»
14 years 9 months ago
AutoSOME: a clustering method for identifying gene expression modules without prior knowledge of cluster number
Background: Clustering the information content of large high-dimensional gene expression datasets has widespread application in "omics" biology. Unfortunately, the under...
Aaron M. Newman, James B. Cooper