4502 search results - page 495 / 901 » Regular Model Checking |
188
click to vote
SCALESPACE
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
163
click to vote
SMA
2006
ACM
16 years 24 days ago
2006
ACM
Many applications require the extraction of isolines and isosurfaces from scalar functions defined on regular grids. These scalar functions may have many different origins: from ...
173
click to vote
COLCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
175
click to vote
ECAL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
210
click to vote
ISWC
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...