321 search results - page 57 / 65 » Writing sequences on the plane |
TSE
2008
13 years 7 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
CSCW
2004
ACM
13 years 7 months ago
2004
ACM
The domestic environment is predicted by market analysts to be the major growth area in computing over the next decade, yet it is a poorly understood domain at the current time of...
IWCM
2004
Springer
14 years 23 days ago
2004
Springer
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
SCVMA
2004
Springer
14 years 22 days ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
SPAA
2003
ACM
14 years 19 days ago
2003
ACM
An ad hoc network is a collection of wireless mobile hosts forming a temporary network without the aid of any fixed infrastructure. Indeed, an important task of an ad hoc network...