Sciweavers

2041 search results - page 166 / 409
» Balance Machines: Computing = Balancing
Sort
View
89
Voted
PAAMS
2010
Springer
15 years 3 months ago
Enhanced Deliberation in BDI-Modelled Agents
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
Fernando Koch, Frank Dignum
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
15 years 1 months ago
Poor Man's TBR: A Simple Model Reduction Scheme
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
Joel R. Phillips, Luis Miguel Silveira
EUROCRYPT
1991
Springer
15 years 1 months ago
Boolean Functions Satisfying Higher Order Propagation Criteria
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
Bart Preneel, René Govaerts, Joos Vandewall...
82
Voted
CAE
2005
15 years 19 days ago
Form Follows Function: Aesthetic Interactive Labels
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
Timo Götzelmann, Kamran Ali, Knut Hartmann, T...
73
Voted
USS
2008
15 years 16 days ago
Absence Makes the Heart Grow Fonder: New Directions for Implantable Medical Device Security
A fundamental tension exists between safety in the common case and security under adversarial conditions for wireless implantable medical devices. We propose a class of new, fail-...
Tamara Denning, Kevin Fu, Tadayoshi Kohno