Sciweavers

841 search results - page 5 / 169
» Generalized Projection Based M-Estimator: Theory and Applica...
Sort
View
KIVS
1999
Springer
13 years 11 months ago
Mobile Agents as an Architectural Concept for Internet-Based Distributed Applications - The WASP Project Approach
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
Stefan Fünfrocken, Friedemann Mattern
AI
2011
Springer
13 years 2 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
MM
2004
ACM
154views Multimedia» more  MM 2004»
14 years 14 days ago
Bio-Fi: inverse biotelemetry projects
Bio-Fi is a collection of art projects undertaken by S.W.A.M.P. (Studies of Work Atmospheres and Mass Production), collaborative art projects by Douglas Easterly and Matt Kenyon. ...
Douglas Easterly
FMCAD
2009
Springer
13 years 11 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
13 years 5 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong