Sciweavers

1087 search results - page 57 / 218
» Eta-Redexes in Partial Evaluation
Sort
View
APLAS
2010
ACM
15 years 6 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
TITB
2008
111views more  TITB 2008»
15 years 6 months ago
A Spine X-Ray Image Retrieval System Using Partial Shape Matching
In recent years, there has been a rapid increase in the size and number of medical image collections. Thus, the development of appropriate methods for medical information retrieval...
Xiaoqian Xu, Dah-Jye Lee, Sameer Antani, L. Rodney...
SIGGRAPH
1994
ACM
15 years 10 months ago
The irradiance Jacobian for partially occluded polyhedral sources
The irradiance at a point on a surface due to a polyhedral source of uniform brightness is given by a well-known analytic formula. In this paper we derive the corresponding analyt...
James Arvo
LREC
2010
142views Education» more  LREC 2010»
15 years 7 months ago
Partial Parsing as a Method to Expedite Dependency Annotation of a Hindi Treebank
The paper describes an approach to expedite the process of manual annotation of a Hindi dependency treebank which is currently under development. We propose a way by which consist...
Mridul Gupta, Vineet Yadav, Samar Husain, Dipti Mi...
ANLP
1994
97views more  ANLP 1994»
15 years 7 months ago
Recycling Terms into a Partial Parser
Both full-text information retrieval and large scale parsing require text preprocessing to identify strong lexical associations in textual databases. In order to associate linguis...
Christian Jacquemin