4666 search results - page 365 / 934 » Equations on Timed Languages |
149
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...
191
click to vote
WSCG
2003
15 years 8 months ago
2003
This paper describes the concept and control of a 3d Avatar system with mimic and gestures as a conversational user interface. The Avatar system including gestures and mimic is ba...
189
click to vote
FOIS
2006
15 years 8 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
189
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
274
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...