2954 search results - page 304 / 591 » Beyond |
141
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
202
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
164
click to vote
DCOSS
2007
Springer
16 years 25 days ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
191
click to vote
DNA
2007
Springer
16 years 25 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
182
Voted
ECML
2007
Springer
16 years 25 days ago
2007
Springer
We present Policy Gradient Actor-Critic (PGAC), a new model-free Reinforcement Learning (RL) method for creating limited-memory stochastic policies for Partially Observable Markov ...