1308 search results - page 102 / 262 » Let's Have a Conversation |
171
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
161
click to vote
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
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...
149
click to vote
UC
2007
Springer
16 years 15 days ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
150
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— Efficient support of multicast traffic in Storage Area Networks (SANs) enables applications such as remote data replication and distributed multimedia systems, in which a ser...
180
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...