Sciweavers

4350 search results - page 221 / 870
» Case studies for contract-based systems
Sort
View
135
Voted
AUTOMATICA
1999
37views more  AUTOMATICA 1999»
15 years 5 months ago
Uniqueness of solutions of linear relay systems
In this paper we study the well-posedness (existence and uniqueness of solutions) of linear relay systems with respect to two di erent solution concepts, Filippov solutions and fo...
Y. J. Lootsma, A. J. van der Schaft, M. K. Ç...
AI
2007
Springer
15 years 5 months ago
Anyone but him: The complexity of precluding an alternative
Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preferen...
Edith Hemaspaandra, Lane A. Hemaspaandra, Jör...
124
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
15 years 11 months ago
A New System Design Methodology for Wire Pipelined SoC
Wire Pipelining (WP) has been proposed in order to limit the impact of increasing wire delays. In general, the added pipeline elements alters the system such that architectural ch...
Mario R. Casu, Luca Macchiarulo
CCIA
2005
Springer
15 years 11 months ago
Integrating information sources for recommender systems
This paper presents a Multi-agent System and a Methodology to select and to integrate heterogenous and distributed information sources to make recommendations. A set of intrinsic c...
Silvana Aciar, Josefina López Herrera, Jose...
ICCS
2005
Springer
15 years 11 months ago
Bifurcation Analysis of Large Equilibrium Systems in Matlab
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...
David Bindel, James Demmel, Mark J. Friedman, Will...