Sciweavers

5247 search results - page 67 / 1050
» The Generalized A* Architecture
Sort
View
IJAIT
2006
100views more  IJAIT 2006»
13 years 11 months ago
Ade - an Architecture Development Environment for Virtual and Robotic Agents
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
Virgil Andronache, Matthias Scheutz
MOBIDE
2005
ACM
14 years 4 months ago
A general methodology for context-aware data access
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...
Roberto De Virgilio, Riccardo Torlone
PLDI
2004
ACM
14 years 4 months ago
A generalized algorithm for graph-coloring register allocation
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
Michael D. Smith, Norman Ramsey, Glenn H. Holloway
SASN
2003
ACM
14 years 4 months ago
A security design for a general purpose, self-organizing, multihop ad hoc wireless network
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...
Thomas S. Messerges, Johnas Cukier, Tom A. M. Keve...
CAV
2001
Springer
80views Hardware» more  CAV 2001»
14 years 2 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner