Sciweavers

1297 search results - page 69 / 260
» fews 2007
Sort
View
FOSSACS
2007
Springer
15 years 6 months ago
The Rewriting Calculus as a Combinatory Reduction System
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
Clara Bertolissi, Claude Kirchner

Publication
319views
15 years 6 months ago
Epsilon Stereo Pairs
Human stereo vision works by fusing a pair of perspective images with a purely horizontal parallax. Recent developments suggest that very few varieties of multiperspective stereo p...
Yuanyuan Ding and Jingyi Yu
FSR
2007
Springer
122views Robotics» more  FSR 2007»
15 years 6 months ago
Roving Faster Farther Cheaper
Current Mars rovers travel a few kilometers per year. Future rovers will need to travel a couple orders of magnitude faster than that in order to move from safe landing zones to a...
Matt Roman, David P. Miller, Zac White
GCB
2007
Springer
89views Biometrics» more  GCB 2007»
15 years 6 months ago
Expected Gene Order Distances and Model Selection in Bacteria
The most parsimonous distances calculated in pairwise gene order comparisons cannot accurately reflect the true number of events separating two species, unless the number of chan...
Niklas Eriksen
GCC
2007
Springer
15 years 6 months ago
A Classification of Service Composition Mismatches to Support Service Mediation
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
Xitong Li, Yushun Fan, Feng Jiang