Sciweavers

1404 search results - page 97 / 281
» Dynamic Scale-Space Theories
Sort
View
119
Voted
AAAI
1997
15 years 2 months ago
Agent Architectures for Flexible, Practical Teamwork
Teamwork in complex, dynamic, multi-agent domains mandates highly flexible coordination and communication. Simply fitting individual agents with precomputed coordination plans w...
Milind Tambe
92
Voted
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
15 years 28 days ago
Span-reachability and observability of bilinear hybrid systems
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
Mihály Petreczky, Jan H. van Schuppen
CDC
2010
IEEE
272views Control Systems» more  CDC 2010»
14 years 7 months ago
Node capture attacks in wireless sensor networks: A system theoretic approach
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
Tamara Bonaci, Linda Bushnell, Radha Poovendran
120
Voted
POPL
2012
ACM
13 years 8 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
196
Voted
POPL
2006
ACM
16 years 1 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan