15754 search results - page 2787 / 3151 » Programs are Knowledge Bases |
244
click to vote
IFIP
2004
Springer
16 years 27 days ago
2004
Springer
: Mobile Ad hoc Networks are characterized by multi-hop wireless links, without any infrastructure, and frequent host mobility. A plethora of routing protocols has been proposed. A...
175
click to vote
IFIP
2004
Springer
16 years 27 days ago
2004
Springer
: Handoff at the link layer 2 (L2) consists of three phases including scanning, authentication, and reassociation. Among the three phases, scanning is dominant in terms of time del...
247
click to vote
IFIP
2004
Springer
16 years 27 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
203
click to vote
ISMIR
2004
Springer
16 years 27 days ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
180
click to vote
IWMM
2004
Springer
16 years 27 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...