2253 search results - page 174 / 451 » The ComFoRT Reasoning Framework |
NBIS
2009
Springer
15 years 3 months ago
2009
Springer
At present time, the maturity of P2P research field has pushed through new problems such us those related with security. For that reason, security starts to become one of the key...
79
Voted
ICIP
1999
IEEE
16 years 21 days ago
1999
IEEE
The usefulness of a video database relies on whether the video of interest can be easily located. To allow exploring, browsing, and retrieving videos according to their visual con...
117
click to vote
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
UM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
76
Voted
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
– The success of a landed space exploration mission depends largely on the final landing site. Factors influencing site selection include safety, fuel-consumption, and scientific...