2203 search results - page 293 / 441 » Temporal Abstract Interpretation |
176
click to vote
BROADNETS
2007
IEEE
15 years 10 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...
167
click to vote
WBIR
2010
SPRINGER
15 years 10 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. ...
171
click to vote
CMSB
2009
Springer
15 years 10 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...
176
click to vote
FSTTCS
2007
Springer
15 years 10 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...
176
click to vote
AVBPA
2003
Springer
15 years 10 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...