3116 search results - page 36 / 624 » Positively dependent types |
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
101
click to vote
ANTSW
2010
Springer
14 years 7 months ago
2010
Springer
Honeybees coordinate foraging efforts across vast areas through a complex system of advertising and recruitment. One mechanism for coordination is the waggle dance, a movement patt...
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
Although magnetic resonance imaging is considered to be non-invasive, there is at least one effect on the patient which has to be monitored: The heating which is generated by absor...
PERVASIVE
2010
Springer
15 years 4 months ago
2010
Springer
It has been considered a fact that GPS performs too poorly inside buildings to provide usable indoor positioning. We analyze results of a measurement campaign to improve on the und...