3779 search results - page 233 / 756 » Linear Consistency Testing |
156
click to vote
MLMI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we describe the 2005 AMI system for the transcription of speech in meetings used in the 2005 NIST RT evaluations. The system was designed for participation ...
165
click to vote
DFT
2003
IEEE
15 years 12 months ago
2003
IEEE
For system-on-chip designs that contain an embedded processor, this paper present a software based diagnosis scheme that can make use of the processor to aid in diagnosis in a sca...
246
click to vote
CDB
1997
Springer
15 years 10 months ago
1997
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
169
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...
143
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...