Sciweavers

422 search results - page 34 / 85
» On combinations of CMA equalizers
Sort
View
ESOP
2009
Springer
15 years 1 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
72
Voted
ICPR
2010
IEEE
15 years 1 months ago
Baby-Posture Classification from Pressure-Sensor Data
The activity of babies and more specifically the posture of babies is an important aspect in their safety and development. In this paper, we studied the automatic classification o...
Sabri Boughorbel, Fons Bruekers, Jeroen Breebaart
DRR
2004
15 years 4 days ago
Retrieving topical sentiments from online document collections
Retrieving documents by subject matter is the general goal of information retrieval and other content access systems. There are other aspects of textual content, however, which fo...
Matthew F. Hurst, Kamal Nigam
COLING
2008
14 years 11 months ago
Two-Phased Event Relation Acquisition: Coupling the Relation-Oriented and Argument-Oriented Approaches
Addressing the task of acquiring semantic relations between events from a large corpus, we first argue the complementarity between the pattern-based relation-oriented approach and...
Shuya Abe, Kentaro Inui, Yuji Matsumoto
IPCO
2007
114views Optimization» more  IPCO 2007»
14 years 11 months ago
Distinct Triangle Areas in a Planar Point Set
Erd˝os, Purdy, and Straus conjectured that the number of distinct (nonzero) areas of the triangles determined by n noncollinear points in the plane is at least n−1 2 , which is...
Adrian Dumitrescu, Csaba D. Tóth