915 search results - page 132 / 183 » Proof labeling schemes |
SIAMMA
2010
13 years 2 months ago
2010
In this paper, we establish the convergence of the Ohta-Kawasaki equation to motion by nonlocal Mullins-Sekerka law on any smooth domain in space dimensions N 3. These equations a...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
Important anatomical features on the cortical surface are usually represented by landmark curves, called sulcal/gyral curves. Manual labeling of these landmark curves is time-cons...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
XML documents are normally stored as plain text files. Hence, the natural and most convenient way to update XML documents is to simply edit the text files. But efficient query eva...
CVPR
2006
IEEE
14 years 2 months ago
2006
IEEE
Anatomical features on cortical surfaces are usually represented by landmark curves, called sulci/gyri curves. These landmark curves are important information for neuroscientists ...
COCO
2007
Springer
14 years 2 months ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...