Sciweavers

3653 search results - page 54 / 731
» On Recognizable Timed Languages
Sort
View
ACL
2010
14 years 7 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
14 years 11 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 1 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 3 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 2 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