4897 search results - page 391 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
189
click to vote
GI
2005
Springer
16 years 1 months ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
217
click to vote
AAAI
2007
15 years 10 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
277
click to vote
TITS
2002
15 years 7 months ago
2002
The wide variety of remote sensors used in Intelligent Transportation Systems (ITS) applications (loops, probe vehicles, radar, cameras, etc.) has created a need for general method...
181
click to vote
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
231
click to vote
GW
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...