Sciweavers

1689 search results - page 101 / 338
» Refining abstract interpretations
Sort
View
JSYML
2006
58views more  JSYML 2006»
15 years 4 months ago
Strongly minimal groups in the theory of compact complex spaces
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
Matthias Aschenbrenner, Rahim Moosa, Thomas Scanlo...
BC
2000
84views more  BC 2000»
15 years 4 months ago
Learning cortical topography from spatiotemporal stimuli
Abstract. Stimulus representation is a functional interpretation of early sensory cortices. Early sensory cortices are subject to stimulus-induced modi
Jan C. Wiemer, Friederike Spengler, Frank Joublin,...
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
HUC
2004
Springer
15 years 10 months ago
The Iterative Design Process of a Location-Aware Device for Group Use
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
Holger Schnädelbach, Boriana Koleva, Michael ...
FLOPS
2004
Springer
15 years 8 months ago
Implementing Natural Rewriting and Narrowing Efficiently
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
Santiago Escobar