8587 search results - page 53 / 1718 » Interactive dynamic abstraction |
DIMVA
2008
13 years 10 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
Feedback Control for Character Animation Using an Abstract Model Yuting Ye C. Karen Liu Georgia Institute of Technology∗ Real-time adaptation of a motion capture sequence to vir...
JOLLI
2010
13 years 7 months ago
2010
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...