4325 search results - page 281 / 865 » Incremental computation with names |
143
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
156
click to vote
SKG
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper presents a Grid Service allowing to detect and extract the longest common sub-spectrum among a set of mass spectrometry spectra data. The service is based on a novel pat...
160
click to vote
COORDINATION
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
151
click to vote
PPSN
2004
Springer
16 years 1 days ago
2004
Springer
We study an evolutionary algorithm used for optimizing in a chaotically changing dynamic environment. The corresponding chaotic non–stationary fitness landscape can be character...
182
click to vote
SCVMA
2004
Springer
16 years 1 days ago
2004
Springer
We introduce a generative model of dense flow fields within a layered representation of 3-dimensional scenes. Using probabilistic inference and learning techniques (namely, varia...