2583 search results - page 128 / 517 » On the Representation of Timed Polyhedra |
149
click to vote
ACL
2003
15 years 7 months ago
2003
In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present ...
154
click to vote
ET
2002
15 years 6 months ago
2002
The paper presents a method for testing a system-on-achip by using a compressed representation of the patterns on an external tester. The patterns for a certain core under test ar...
147
click to vote
FEGC
2009
15 years 4 months ago
2009
We develop an efficient algorithm for detecting frequent patterns that occur in sequence databases under certain constraints. By combining the use of bit vector representations of ...
138
click to vote
TIME
1998
IEEE
15 years 10 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
110
click to vote
JVCA
2006
15 years 6 months ago
2006
In this paper we address the problem of temporal alignment applied to captured communicative gestures conveying different styles. We propose a representation space that may be con...