Sciweavers

3825 search results - page 251 / 765
» The Language of Time: A Reader
Sort
View
WSCG
2003
160views more  WSCG 2003»
15 years 8 months ago
Avatar Gestures
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...
Thomas Rieger
FOIS
2006
15 years 8 months ago
A Reusable Ontology for Fluents in OWL
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 ...
Christopher A. Welty, Richard Fikes
POPL
2008
ACM
16 years 6 months ago
Subcubic algorithms for recursive state machines
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...
Swarat Chaudhuri
ICCS
2007
Springer
16 years 21 days ago
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, a...
Frédéric Gava
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 11 months ago
Semantics of interactions in UML 2.0
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...
Harald Störrle