20175 search results - page 3805 / 4035 » Is abstraction the key to computing |
138
Voted
CPHYSICS
2010
15 years 26 days ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
131
Voted
CSL
2010
Springer
15 years 26 days ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
CORR
2008
Springer
15 years 26 days ago
2008
Springer
A string matching--and more generally, sequence matching--algorithm is presented that has a linear worst-case computing time bound, a low worst-case bound on the number of compari...
119
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
120
Voted
DEBU
2008
15 years 26 days ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...