312 search results - page 14 / 63 » iis 2004 |
CONCUR
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
MEMBRANE
2004
Springer
14 years 26 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Cellular Neural Networks are widely used with real-time image processing's applications. Such systems can be efficiently realized using macro enriched fieldprogrammable gate-...
DRR
2004
13 years 10 months ago
2004
Using handwritten characters we address two questions (i) what is the group identification performance of different alphabets (upper and lower case) and (ii) what are the best cha...
EMNLP
2004
13 years 9 months ago
2004
In this paper, we describe a resource-light system for the automatic morphological analysis and tagging of Russian. We eschew the use of extensive resources (particularly, large a...