1999 search results - page 159 / 400 » Dependently Typed Grammars |
298
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Recent studies on visual tracking have shown significant improvement in accuracy by handling the appearance variations of the target object. Whereas most studies present schemes ...
179
click to vote
CLEF
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the Query Parsing task of GeoCLEF 2007. Our system is composed of three main modules. First, the Named Geo...
195
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
148
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
273
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...