Sciweavers

11808 search results - page 125 / 2362
» Isometries and Computability Structures
Sort
View
ISCAS
2006
IEEE
65views Hardware» more  ISCAS 2006»
15 years 10 months ago
Symbolic analysis of bifurcations in planar variable structure systems
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
Ubirajara F. Moreno, Eugênio B. Castelan, Ed...
BMVC
2001
15 years 6 months ago
Tracking Mammographic Structures Over Time
A method to correspond linear structures in mammographic images is presented. Our approach is based on automatically establishing correspondence between linear structures which ap...
Robert Marti, Reyer Zwiggelaar, Caroline M. E. Rub...
CMSB
2011
Springer
14 years 4 months ago
Reversible structures
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
Luca Cardelli, Cosimo Laneve
FOSSACS
2010
Springer
15 years 11 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
ITICSE
2003
ACM
15 years 9 months ago
Structuring CSed research studies: connecting the pieces
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...
Arnold Neville Pears, Mats Daniels