736 search results - page 62 / 148 » High-order functions and their ordering relations |
ISPASS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
We provide a new comparison between hexagonal and orthogonal lattices, based on approximation theory. For each of the lattices, we select the "natural" spline basis func...
AAECC
2007
Springer
14 years 12 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
102
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: In bio-systems, genes, proteins and compounds are related to each other, thus forming complex networks. Although each organism has its individual network, some organis...
ICML
2006
IEEE
16 years 20 days ago
2006
IEEE
We introduce the use of learned shaping rewards in reinforcement learning tasks, where an agent uses prior experience on a sequence of tasks to learn a portable predictor that est...