10051 search results - page 1771 / 2011 » A Dynamic Separator Algorithm |
180
click to vote
CSL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
206
click to vote
DMG
2005
Springer
16 years 4 days ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
197
click to vote
EUC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...
170
click to vote
GCC
2005
Springer
16 years 4 days ago
2005
Springer
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
170
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...