11436 search results - page 450 / 2288 » Modeling Real Reasoning |
172
click to vote
INTERSPEECH
2010
14 years 12 months ago
2010
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
148
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
156
click to vote
JMIV
2006
15 years 5 months ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
152
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
Background subtraction is the first step of many video surveillance applications. What is considered background varies by application, and may include regular, systematic, or comp...
126
click to vote
ACMICEC
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we present a B2B integration project, which aims to augment the added value of services instead of improving efficiency by automating processes. This paper introduce...