6438 search results - page 1102 / 1288 » A Parameterised Search System |
179
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
162
click to vote
SIGIR
2000
ACM
15 years 10 months ago
2000
ACM
Most web pages are linked to others with related content. This idea, combined with another that says that text in, and possibly around, HTML anchors describe the pages to which th...
162
click to vote
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...
165
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
The complexity of deploying high-performance spatial structures in transactional DBMS environments has motivated researchers to experiment with the idea of reusing the effort inve...
155
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
The bow leg hopper is a new design for a locomoting system with a resilient, flexible leg. It features a passive stance phase and natural pitch stability. It is controlled with ac...