193 search results - page 24 / 39 » Decidable logics combining heap structures and data |
149
Voted
PKDD
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
149
Voted
POPL
1993
ACM
15 years 6 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
120
Voted
DAS
2010
Springer
15 years 22 days ago
2010
Springer
Repetition of layout structure is prevalent in document images. In document design, such repetition conveys the underlying logical and functional structure of the data. For exampl...
133
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
111
Voted
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...