Sciweavers

1712 search results - page 235 / 343
» Abstract Constraint Data Types
Sort
View
IWANN
2001
Springer
15 years 3 months ago
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
Eduardo Sánchez Vila, Senén Barro, J...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 3 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
EMMCVPR
1999
Springer
15 years 3 months ago
Adaptive Bayesian Contour Estimation: A Vector Space Representation Approach
Abstract. We propose a vector representation approach to contour estimation from noisy data. Images are modeled as random elds composed of a set of homogeneous regions contours (bo...
José M. B. Dias
DOOD
1997
Springer
155views Database» more  DOOD 1997»
15 years 3 months ago
Incremental Updates for Materialized OQL Views
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
Dieter Gluche, Torsten Grust, Christof Mainberger,...
ECSQARU
1997
Springer
15 years 3 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...