1712 search results - page 72 / 343 » Abstract Constraint Data Types |
172
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
101
click to vote
AGP
1998
IEEE
15 years 3 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
ICAPR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
85
Voted
MICCAI
2009
Springer
2009
Springer
DISCO: A Coherent Diffeomorphic Framework for Brain Registration under Exhaustive Sulcal Constraints
15 years 8 months ago
Abstract. Neuroimaging at the group level requires spatial normalization of individual structural data. We propose a geometric approach that consists in matching a series of cortic...