6042 search results - page 1022 / 1209 » Repeated Observation Models |
160
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
The growth of computer networks has boosted the growth of the information technology sector to a greater extent. There is a trend to move from conventional libraries to digital li...
152
Voted
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we investigate methods for enabling a human operator and an automatic motion planner to cooperatively solve a motion planning query. Our work is motivated by our ex...
159
Voted
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a framework for designing end-to-end congestion control schemes in a network where each user may have a different utility function and may experience non-congestion-re...
145
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Pen-based user interfaces are becoming ever more popular. Gestures (i.e., marks made with a pen to invoke a command) are a valuable aspect of pen-based UIs, but they also have dra...
144
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...