Sciweavers

4061 search results - page 331 / 813
» The Dynamics of Change
Sort
View
SAT
2004
Springer
85views Hardware» more  SAT 2004»
16 years 4 days ago
Visualizing the Internal Structure of SAT Instances (Preliminary Report)
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
Carsten Sinz
WADT
2004
Springer
16 years 4 days ago
Modelling Mobility with Petri Hypernets
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw P...
ICDCSW
2003
IEEE
16 years 2 days ago
Middleware and Application Adaptation Requirements and Their Support in Pervasive Computing
Pervasive computing environments are characterized by an additional heterogeneity compared to existing computing infrastructures. Devices ranging from small embedded systems to fu...
Christian Becker, Gregor Schiele
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 11 months ago
Linear Parameter Varying Iterative Learning Control
— In this paper an Iterative Learning Control (ILC) algorithm is proposed for a certain class of Linear Parameter Varying (LPV) systems whose dynamics change between iterations. ...
Mark Edward John Butcher, Alireza Karimi
ECOOP
2000
Springer
15 years 11 months ago
Using Objects for Next Generation Communication Services
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
Munir Cochinwala