4235 search results - page 335 / 847 » Process Spaces |
111
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...
138
click to vote
FGR
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a framework for fast view alignment using adaptive affine tracking. We address the issue of modelling both shape and texture information in eigenspace for view alignmen...
151
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
139
click to vote
MVA
2007
15 years 6 months ago
2007
We propose a method to stabilize illumination color estimation by using the idea of an “Illumination line segment”. It is a finite line where every illumination color exists ...
117
click to vote
NAACL
2007
15 years 6 months ago
2007
This paper presents an alternative algorithm based on the singular value decomposition (SVD) that creates vector representation for linguistic units with reduced dimensionality. T...