12697 search results - page 143 / 2540 » Call for Papers |
122
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new criterion for the asymptotic stance stability of a statically balanced legged robot. Typically, the static balance criterion only considers that the cent...
160
click to vote
ISORC
2002
IEEE
2002
IEEE
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
15 years 11 months ago
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...
174
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The problem of designing input signals for optimal generalization in supervised learning is called active learning. In many active learning methods devised so far, the bias of the...
163
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper considers the problem of key agreement in a group setting with highly-dynamic group member population. A protocol suite, called CLIQUES, is developed by extending the w...
159
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...