Sciweavers

4126 search results - page 200 / 826
» Modelling Electronic Organizations
Sort
View
INTERACT
2003
15 years 8 months ago
The New Text and Graphical Input Device: Compact Biometrical Data Acquisition
Abstract: Development of new text and graphical input devices is considered to be important part of humancomputer interaction by many researchers worldwide. Our paper presents our ...
Pen Ondrej Rohlik, Pavel Mautner, Václav Ma...
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
AMC
2004
72views more  AMC 2004»
15 years 6 months ago
Global attraction to the origin in a parametrically driven nonlinear oscillator
We consider a parametrically-driven nonlinear ODE, which encompasses a simple model of an electronic circuit known as a parametric amplifier, whose linearisation has a zero eigenv...
M. V. Bartuccelli, J. H. B. Deane, G. Gentile, S. ...
IBPRIA
2007
Springer
16 years 21 days ago
Estimation of Multiple Objects at Unknown Locations with Active Contours
Abstract. This paper presents an algorithm for the estimation of multiple regions with unknown shapes and positions using multiple active contour models (ACM’s). The algorithm or...
Margarida Silveira, Jorge S. Marques
AGENTS
2001
Springer
15 years 11 months ago
Using self-diagnosis to adapt organizational structures
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
Bryan Horling, Brett Benyo, Victor R. Lesser