4666 search results - page 134 / 934 » Equations on Timed Languages |
133
click to vote
ACL
2008
15 years 6 months ago
2008
This paper studies the impact of written language variations and the way it affects the capitalization task over time. A discriminative approach, based on maximum entropy models, ...
139
click to vote
ACL
2010
15 years 3 months ago
2010
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...
139
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
173
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
120
click to vote
ISSAC
1994
Springer
15 years 9 months ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...