2344 search results - page 100 / 469 » Dynamic Measurement of Polymorphism |
162
click to vote
MSCS
2006
15 years 3 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
121
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
This paper describes an efficient and accurate approach to estimate the network distance between arbitrary Internet hosts. We use three landmark hosts forming a triangle in two-di...
126
Voted
CN
2002
15 years 3 months ago
2002
A key advantage of hypermedia systems such as the Web is that the user is able to navigate through the information space in a non-linear fashion. He can explore the interlinked do...
133
click to vote
RAS
2008
15 years 2 months ago
2008
A human performs a variety of skillful movements by adjusting dynamic characteristics of his or her musculoskeletal system according to a task involved. Such characteristics of hu...
119
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
—Object-class independent motion estimation from range data is a challenging task. We present here a novel approach that is able to derive a dense motion field based on range im...