2252 search results - page 247 / 451 » Regular expression patterns |
126
Voted
AI
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses the task of finding acronym-definition pairs in text. Most of the previous work on the topic is about systems that involve manually generated rules or regular ...
115
Voted
CMMR
2005
Springer
15 years 9 months ago
2005
Springer
A digital clarinet played by a human and timed by a metronome was used to record two playing control parameters, the breath control and the reed displacement, for 20 repeated perfo...
121
Voted
FCT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
109
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
103
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...