4235 search results - page 335 / 847 » Processes in Space |
199
click to vote
CAV
2008
Springer
15 years 8 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...
180
click to vote
MVA
2007
15 years 8 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 ...
174
Voted
NAACL
2007
15 years 8 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...
146
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper explores what kind of user simulation model is suitable for developing a training corpus for using Markov Decision Processes (MDPs) to automatically learn dialog strate...
161
click to vote
NIPS
2001
15 years 8 months ago
2001
We propose the framework of mutual information kernels for learning covariance kernels, as used in Support Vector machines and Gaussian process classifiers, from unlabeled task da...