5414 search results - page 972 / 1083 » Data representation synthesis |
109
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
CPHYSICS
2008
15 years 3 months ago
2008
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
135
click to vote
CVIU
2008
15 years 3 months ago
2008
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
158
click to vote
ALIFE
2006
15 years 3 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
143
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...