Sciweavers

12441 search results - page 2120 / 2489
» Frame Based Features
Sort
View
EMMCVPR
2001
Springer
15 years 11 months ago
3D Flux Maximizing Flows
A number of geometric active contour and surface models have been proposed for shape segmentation in the literature. The essential idea is to evolve a curve (in 2D) or a surface (i...
Kaleem Siddiqi, Alexander Vasilevskiy
160
Voted
ESOP
2001
Springer
15 years 11 months ago
Proof-Directed De-compilation of Low-Level Code
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
Shin-ya Katsumata, Atsushi Ohori
LACL
2001
Springer
15 years 11 months ago
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
Geoffrey K. Pullum, Barbara C. Scholz
OOPSLA
2001
Springer
15 years 11 months ago
Portable Resource Control in Java: The J-SEAL2 Approach
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
Walter Binder, Jarle Hulaas, Alex Villazón
WAIM
2001
Springer
15 years 11 months ago
Three-Tier Clustering: An Online Citation Clustering System
In this paper, we present an online citation entry clustering system based on three-tier clustering. The objective is to further process search results returned by bibliography dat...
Haifeng Jiang, Wenwu Lou, Wei Wang 0011
« Prev « First page 2120 / 2489 Last » Next »