Sciweavers

1512 search results - page 37 / 303
» connection 2006
Sort
View
OZCHI
2006
ACM
15 years 3 months ago
Design for inspiration: children, personal connections and educational technology
The project is working towards building an understanding of the personal interests and experiences of children with the aim of designing appropriate, usable and, most importantly,...
Peta Wyeth, Carla Diercke, Stephen Viller
AMAST
2006
Springer
15 years 1 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
ECCV
2006
Springer
15 years 1 months ago
Using a Connected Filter for Structure Estimation in Perspective Systems
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
Fredrik Nyberg, Ola Dahl, Jan Holst, Anders Heyden
FSTTCS
2006
Springer
15 years 1 months ago
Distributed Synthesis for Well-Connected Architectures
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
CG
2006
Springer
14 years 9 months ago
Connectivity preserving digitization of blurred binary images in 2D and 3D
Connectivity and neighborhood are fundamental topological properties of objects in pictures. Since the input for any image analysis algorithm is a digital image, which does not ne...
Peer Stelldinger, Ullrich Köthe