3775 search results - page 404 / 755 » The Expression Problem Revisited |
169
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
145
Voted
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
142
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
164
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We define the notion of diversity for families of finite functions, and express the limitations of a simple class of holographic algorithms in terms of limitations on d...
150
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Various cortical measures such as cortical thickness are routinely computed along the vertices of cortical surface meshes. These metrics are used in surface-based morphometric stu...