Sciweavers

3653 search results - page 54 / 731
» On Recognizable Timed Languages
Sort
View
ACL
2010
15 years 2 months ago
Temporal Information Processing of a New Language: Fast Porting with Minimal Resources
We describe the semi-automatic adaptation of a TimeML annotated corpus from English to Portuguese, a language for which TimeML annotated data was not available yet. In order to va...
Francisco Costa, António Branco
ACL
2001
15 years 5 months ago
Guided Parsing of Range Concatenation Languages
The theoretical study of the range concatenation grammar [RCG] formalism has revealed many attractive properties which may be used in NLP. In particular, range concatenation langu...
François Barthélemy, Pierre Boullier...
CONPAR
1994
15 years 8 months ago
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer
This paper considers the issue of dynamic task control in the context of a parallel Haskell implementation on the GRIP multiprocessor. For the rst time, we report the e ect of our ...
Kevin Hammond, James S. Mattson Jr., Simon L. Peyt...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 10 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
ICALP
1998
Springer
15 years 8 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella