130 search results - page 16 / 26 » The Semantics of Scheme Control-Flow Analysis |
106
click to vote
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
We propose a scene classification method, which combines two popular methods in the literature: Spatial Pyramid Matching (SPM) and probabilistic Latent Semantic Analysis (pLSA) mod...
206
click to vote
POPL
2006
ACM
16 years 1 hour ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
116
click to vote
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
115
click to vote
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
Earlier this year, a major effort was initiated to study the theoretical and empirical aspects of the automatic detection of semantic concepts in broadcast video, complementing ong...