Sciweavers

21 search results - page 2 / 5
» A Description of Morphological Features of Serbian: a Revisi...
Sort
View
ICASSP
2009
IEEE
14 years 16 days ago
Design of a morphological moving object signature and application to human identification
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...
Olivier Barnich, Marc Van Droogenbroeck
SCM
1998
13 years 7 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
PADL
2009
Springer
14 years 6 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus
TPHOL
1999
IEEE
13 years 10 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme
LREC
2010
155views Education» more  LREC 2010»
13 years 7 months ago
A Positional Tagset for Russian
Fusional languages have rich inflection. As a consequence, tagsets capturing their morphological features are necessarily large. A natural way to make a tagset manageable is to us...
Jirka Hana, Anna Feldman