1938 search results - page 81 / 388 » On Positive Relational Calculi |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
MCFNS
2010
13 years 2 months ago
2010
Between September 2008 and September 2009, data were collected with a Garmin Oregon 300 recreation-grade GPS receiver nearly every day, under a variety of environmental conditions....
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
This article proposes a local photometric model that compensates for specular highlights and lighting variations due to position and intensity changes. We define clearly on which ...
DAARC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a knowledge-rich approach to Japanese coreference resolution. In Japanese, proper noun coreference and common noun coreference occupy a central position in cor...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...