Sciweavers

4604 search results - page 339 / 921
» Analysis of Negotiation Dynamics
Sort
View
AUTOMATICA
2004
101views more  AUTOMATICA 2004»
15 years 6 months ago
Analysis of a high-resolution optical wave-front control system
We consider the formulation and analysis of a problem of automatic control: correcting for the distortion induced in an optical wave front due to propagation through a turbulent a...
Eric W. Justh, P. S. Krishnaprasad, M. A. Vorontso...
JUCS
2002
113views more  JUCS 2002»
15 years 6 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
IANDC
2010
83views more  IANDC 2010»
15 years 5 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
ISAMI
2010
15 years 4 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
CVPR
2004
IEEE
16 years 8 months ago
Elastic-String Models for Representation and Analysis of Planar Shapes
We develop a new framework for the quantitative analysis of shapes of planar curves. Shapes are modeled on elastic strings that can be bent, stretched or compressed at different r...
Washington Mio, Anuj Srivastava