15635 search results - page 2721 / 3127 » Modelling and Design of VAML |
185
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
196
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
202
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
198
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
233
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...