11436 search results - page 1744 / 2288 » Modeling Real Reasoning |
194
click to vote
CCS
2001
ACM
15 years 12 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
200
Voted
DBPL
2001
Springer
15 years 12 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
282
Voted
ICAPR
2001
Springer
15 years 12 months ago
2001
Springer
The sipping of ink through the pages of certain double-sided handwritten documents after long periods of storage poses a serious problem to human readers or OCR systems. This pape...
196
Voted
ICSE
2001
IEEE-ACM
15 years 12 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
215
click to vote
MICCAI
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...