Sciweavers

2694 search results - page 224 / 539
» A Description Logic of Change
Sort
View
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
16 years 1 months ago
Synthesizing Synchronous Elastic Flow Networks
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
Greg Hoover, Forrest Brewer
EWSA
2004
Springer
16 years 13 hour ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
AUIC
2003
IEEE
15 years 12 months ago
Keg Master: a Graph-Aware Visual Editor for 3D Graphs
This paper presents Keg Master, a graph-aware visual editor for 3D graphs. Keg Master is novel in that it works with a graph description language as opposed to a scene graph descr...
Hannah Slay, Matthew Phillips, Bruce H. Thomas, Ru...
ECAL
2003
Springer
15 years 12 months ago
When Can We Call a System Self-Organizing?
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
Carlos Gershenson, Francis Heylighen
SSIAI
2000
IEEE
15 years 11 months ago
Multi-Level Shape Recognition Based on Wavelet-Transform Modulus Maxima
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...
Faouzi Alaya Cheikh, Azhar Quddus, Moncef Gabbouj