352 search results - page 48 / 71 » Stability margins for generalized state space systems |
160
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
204
click to vote
PERCOM
2009
ACM
16 years 29 days ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...
165
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
212
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
196
click to vote
AGI
2011
14 years 9 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...