10051 search results - page 1771 / 2011 » A Dynamic Separator Algorithm |
141
Voted
CSL
2005
Springer
15 years 9 months 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...
166
Voted
DMG
2005
Springer
15 years 9 months 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...
141
Voted
EUC
2005
Springer
15 years 9 months 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...
124
Voted
GCC
2005
Springer
15 years 9 months 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...
115
click to vote
GECCO
2005
Springer
15 years 9 months 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...