2252 search results - page 247 / 451 » Regular expression patterns |
170
click to vote
AI
2005
Springer
16 years 9 hour 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 ...
149
click to vote
CMMR
2005
Springer
16 years 57 min 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...
170
click to vote
FCT
2005
Springer
15 years 12 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...
146
click to vote
AMAST
2004
Springer
15 years 12 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...
143
click to vote
IFIP
2004
Springer
15 years 11 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...