1999 search results - page 327 / 400 » Dependently Typed Grammars |
162
click to vote
JUCS
2010
15 years 4 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
160
click to vote
PUC
2010
15 years 4 months ago
2010
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
159
click to vote
RAS
2010
15 years 4 months ago
2010
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
157
click to vote
TC
2010
15 years 4 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
172
click to vote
WRLA
2010
15 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...