Sciweavers

4861 search results - page 736 / 973
» Parsimonious concept modeling
Sort
View
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 7 months ago
Dynamic policy-based IDS configuration
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
Quanyan Zhu, Tamer Basar
POPL
2010
ACM
15 years 6 months ago
Nested interpolants
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
Matthias Heizmann, Jochen Hoenicke, Andreas Podels...
ECAI
2010
Springer
15 years 6 months ago
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies
Motion planning in dynamic environments consists of the generation of a collision-free trajectory from an initial to a goal state. When the environment contains uncertainty, preven...
Stefan Zickler, Manuela M. Veloso
AAMAS
2007
Springer
15 years 6 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
CGF
2008
80views more  CGF 2008»
15 years 6 months ago
Sketching and Composing Widgets for 3D Manipulation
We present an interface for 3D object manipulation in which standard transformation tools are replaced with transient 3D widgets invoked by sketching context-dependent strokes. Th...
Ryan Schmidt, Karan Singh, Ravin Balakrishnan