Sciweavers

20294 search results - page 148 / 4059
» Algorithmic Information Theory
Sort
View
BCSHCI
2007
15 years 6 months ago
Habitats: a simple way to bridge artifacts, professions, and theories in ubiquitous design
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
Martin Brynskov, Gunnar Kramp
SIMULATION
1998
83views more  SIMULATION 1998»
15 years 4 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
AMC
2007
116views more  AMC 2007»
15 years 4 months ago
Convergence of HLS estimation algorithms for multivariable ARX-like systems
A hierarchical least squares (HLS) algorithm is derived in details for identifying MIMO ARX-like systems based on the hierarchical identification principle. It is shown that the ...
Lingyun Wang, Feng Ding, Peter X. Liu
FOCM
2006
87views more  FOCM 2006»
15 years 4 months ago
Index Pairs Algorithms
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...
Marian Mrozek
DC
2000
15 years 4 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch