3724 search results - page 409 / 745 » Timed regular expressions |
142
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
177
click to vote
IWPEC
2009
Springer
16 years 1 months ago
2009
Springer
We describe a framework for expressing the complexity of algorithms for FPT problems with two separate parameters k, m and with exponential time bounds O∗ (xk ym ) where x, y &g...
155
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a motion planning scheme for ground vehicles operating in a partially known environment. Kinematic constraints stemming from vehicle dynamics and from the requiremen...
174
click to vote
AFRICACRYPT
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper introduces “twisted Edwards curves,” a generalization of the recently introduced Edwards curves; shows that twisted Edwards curves include more curves over...
199
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...