Sciweavers

12084 search results - page 311 / 2417
» Effect Systems with Subtyping
Sort
View
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
15 years 5 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong
CORR
2009
Springer
91views Education» more  CORR 2009»
15 years 5 months ago
On the Number of Membranes in Unary P Systems
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
Rudolf Freund, Andreas Klein, Martin Kutrib
HCI
2009
15 years 5 months ago
Considering User Knowledge in the Evaluation of Training System Usability
A variety of software-based systems are being used as training media. There is not, however, an accepted approach to evaluating the usability of these systems. Traditional usabilit...
Clint A. Bowers, Janis A. Cannon-Bowers, Talib S. ...
ICIP
2006
IEEE
16 years 9 months ago
CBIR in Distributed Databases using a Multi-Agent System
Information retrieval techniques have to face both the growing amount of data to be processed and the "natural" distribution of these data over the network. Hence, we in...
David Picard, Matthieu Cord, Arnaud Revel
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
16 years 1 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...