5064 search results - page 54 / 1013 » Recent Developments in Gridsolve |
162
click to vote
WEA
2007
Springer
15 years 10 months ago
2007
Springer
Algorithms for route planning in transportation networks have recently undergone a rapid development, leading to methods that are up to one million times faster than Dijkstra’s a...
133
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
125
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
135
click to vote
ICA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
166
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Recently, emerging high performance applications require the ability to exploit diverse, geographically distributed resources, specifically, in a Grid environment. A collection of ...