Sciweavers

11716 search results - page 55 / 2344
» Computable symbolic dynamics
Sort
View
GREC
2007
Springer
15 years 6 months ago
A System to Segment Text and Symbols from Color Maps
Automatic separation of text and symbols from graphics in document image is one of the fundamental aims in graphics recognition. In maps, separation of text and symbols from graphi...
Partha Pratim Roy, Eduard Vazquez, Josep Llad&oacu...
COGSCI
2010
85views more  COGSCI 2010»
14 years 12 months ago
The Effects of Feature-Label-Order and Their Implications for Symbolic Learning
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
Michael Ramscar, Daniel Yarlett, Melody Dye, Katie...
LOGCOM
2007
59views more  LOGCOM 2007»
14 years 11 months ago
Forgetting Literals with Varying Propositional Symbols
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
Yves Moinard
SGAI
2010
Springer
14 years 6 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
DAC
2003
ACM
16 years 24 days ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park