2203 search results - page 293 / 441 » Temporal Abstract Interpretation |
137
Voted
BROADNETS
2007
IEEE
15 years 7 months ago
2007
IEEE
Emerging high-end applications require a rich set of network provisioning services that go beyond the traditional source-destination, end-to-end path service. They also require hig...
131
Voted
WBIR
2010
SPRINGER
15 years 7 months ago
2010
SPRINGER
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
134
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
141
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
143
Voted
AVBPA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Human gait is an attractive modality for recognizing people at a distance. In this paper we adopt an appearance-basedapproach to the problem of gait recognition. The widt...