Sciweavers

8587 search results - page 53 / 1718
» Interactive dynamic abstraction
Sort
View
DIMVA
2008
14 years 11 months ago
VeriKey: A Dynamic Certificate Verification System for Public Key Exchanges
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...
Brett Stone-Gross, David Sigal, Rob Cohn, John Mor...
CORR
2010
Springer
146views Education» more  CORR 2010»
14 years 10 months ago
Abstract Fixpoint Computations with Numerical Acceleration Methods
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
Olivier Bouissou, Yassamine Seladji, Alexandre Cha...
KI
2009
Springer
15 years 4 months ago
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
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 ...
Florian Pommerening, Stefan Wölfl, Matthias W...
SIGGRAPH
2010
ACM
15 years 2 months ago
Optimal feedback control for character animation using an abstract model
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...
Yuting Ye, C. Karen Liu
JOLLI
2010
78views more  JOLLI 2010»
14 years 8 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
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...
Sylvain Salvati