4460 search results - page 659 / 892 » Formal methods for interactive systems |
148
click to vote
AAAI
1993
15 years 6 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
147
click to vote
IJRR
2006
15 years 4 months ago
2006
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
150
click to vote
TCSV
2008
15 years 4 months ago
2008
In this paper, we present a robust passage retrieval algorithm to extend the conventional text question answering (Q/A) to videos. Users interact with our videoQ/A system through n...
139
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Reputation systems have been popular in estimating the trustworthiness and predicting the future behavior of nodes in a large-scale distributed system where nodes may transact wit...
134
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...