Sciweavers

2934 search results - page 286 / 587
» Universality in Multi-Agent Systems
Sort
View
CONCUR
2012
Springer
13 years 9 months ago
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
Guy Avni, Orna Kupferman
CALCO
2009
Springer
115views Mathematics» more  CALCO 2009»
16 years 1 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
Sam Staton
CIMCA
2006
IEEE
16 years 21 days ago
Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
Phi Anh Phan, Timothy J. Gale
VL
2005
IEEE
110views Visual Languages» more  VL 2005»
16 years 6 days ago
Forms of Expression for Designing Visual Languages for Animation
We present further steps in our research into visual languages for animation. Animation is a rich mode of communication that is currently accessible to few, because animation syst...
Richard C. Davis, James A. Landay
SAC
2004
ACM
16 years 1 days ago
Code generation techniques for developing light-weight XML Web services for embedded devices
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...
Robert van Engelen