Sciweavers

3406 search results - page 172 / 682
» Computational models of classical conditioning
Sort
View
GG
2004
Springer
15 years 10 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
167
Voted
IWVF
2001
Springer
15 years 9 months ago
How Folds Cut a Scene
We consider the interactions between edges and intensity distributions in semi-open image neighborhoods surrounding them. Locally this amounts to a kind of figure-ground problem, ...
Patrick S. Huggins, Steven W. Zucker
SOFSEM
1997
Springer
15 years 8 months ago
On Finite Representations of Infinite-State Behaviours
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
Antonín Kucera
138
Voted
ICCS
2009
Springer
15 years 2 months ago
Two-Dimensional Micro-Hartmann Gas Flows
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...
Chunpei Cai, Khaleel R. A. Khasawneh
CG
2006
Springer
15 years 5 months ago
Supercover model, digital straight line recognition and curve reconstruction on the irregular isothetic grids
On the classical discrete grid, the analysis of digital straight lines (DSL for short) has been intensively studied for nearly half a century. In this article, we are interested i...
David Coeurjolly, Loutfi Zerarga