603 search results - page 46 / 121 » Referent Systems and Relational Grammar |
ICFHR
2010
13 years 4 months ago
2010
This competition scenario aims at a performance comparison of several automated systems for the task of signature verification. The systems have to rate the probability of authors...
LATA
2009
Springer
14 years 4 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
ANLP
1994
13 years 11 months ago
1994
Biological specimens have historicallybeen labeled with English descriptions of the location of collection. To perform spatial, statistical, or historic studies, these description...