4013 search results - page 344 / 803 » computer 2002 |
105
click to vote
JC
2002
15 years 4 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
129
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We observe a certain random process on a graph ”locally”, i.e., in the neighborhood of a node, and would like to derive information about ”global” properties of the graph....
131
click to vote
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile age...
150
click to vote
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations comp...
135
click to vote
CA
2002
IEEE
15 years 10 months ago
2002
IEEE
Virtual conversational agents are supposed to combine speech with nonverbal modalities for intelligible and believeable utterances. However, the automatic synthesis of coverbal ge...