Sciweavers

3145 search results - page 384 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
COLING
2010
14 years 11 months ago
Global topology of word co-occurrence networks: Beyond the two-regime power-law
Word co-occurrence networks are one of the most common linguistic networks studied in the past and they are known to exhibit several interesting topological characteristics. In th...
Monojit Choudhury, Diptesh Chatterjee, Animesh Muk...
ICASSP
2011
IEEE
14 years 7 months ago
A visual attention model combining top-down and bottom-up mechanisms for salient object detection
Selective attention in the human visual system is performed as the way that humans focus on the most important parts when observing a visual scene. Many bottom-up computational mo...
Yuming Fang, Weisi Lin, Chiew Tong Lau, Bu-Sung Le...
HASKELL
2005
ACM
15 years 9 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
CORR
2007
Springer
121views Education» more  CORR 2007»
15 years 4 months ago
Diagrammatic Inference
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
Dominique Duval
CMC
1998
Springer
15 years 8 months ago
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
Tom Brøndsted, Paul Dalsgaard, Lars Bo Lars...