4690 search results - page 223 / 938 » An operational semantics for Scheme |
175
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
167
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Efficiently detecting near duplicate resources is an important task when integrating information from various sources and applications. Once detected, near duplicate reso...
157
click to vote
CVIU
2004
15 years 6 months ago
2004
We present a novel ``dynamic learning'' approach for an intelligent image database system to automatically improve object segmentation and labeling without user interven...
179
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
There are ontology domain concepts that can be represented according to multiple alternative classification criteria. Current ontology modeling guidelines do not explicitly conside...
189
click to vote
JUCS
2006
15 years 6 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...