Sciweavers

1139 search results - page 156 / 228
» A New View On The Process Of Translation
Sort
View
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 6 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
DESRIST
2009
Springer
100views Education» more  DESRIST 2009»
15 years 11 months ago
A theory-based alternative for the design of instruction: functional design
An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. ...
Andrew S. Gibbons
ICIAP
1999
ACM
15 years 10 months ago
Shape Reconstruction of 3D Bilaterally Symmetric Surfaces
The paper presents a new approach for shape recovery based on integratinggeometric and photometric information. We consider 3D bilaterally symmetric objects, that is, objects which...
Ilan Shimshoni, Michael Lindenbaum, Yael Moses
ECIS
2004
15 years 7 months ago
Open University vs. Consorzio Nettuno: an institutional analysis of two techonology enabled higher educational systems
Assuming a rational perspective, the adoption and development of a new organisational technology can be viewed as a way to achieve an higher level of efficiency by finding the bes...
Flavia Blumetti, Paolo Ferri, Cristiano Ghiringhel...
ALIFE
2006
15 years 6 months ago
The Infection Algorithm: An Artificial Epidemic Approach for Dense Stereo Correspondence
We present a new bio-inspired approach applied to a problem of stereo image matching. This approach is based on an artificial epidemic process, which we call the infection algorith...
Gustavo Olague, Francisco Fernández, Cynthi...