Sciweavers

2253 search results - page 174 / 451
» The ComFoRT Reasoning Framework
Sort
View
NBIS
2009
Springer
15 years 3 months ago
A Security Framework for JXTA-Overlay
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...
Joan Arnedo-Moreno, Keita Matsuo, Leonard Barolli,...
79
Voted
ICIP
1999
IEEE
16 years 21 days ago
A Framework for Measuring Video Similarity and Its Application to Video Query by Example
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...
Yap-Peng Tan, Sanjeev R. Kulkarni, Peter J. Ramadg...
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
15 years 5 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
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...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
UM
2007
Springer
15 years 5 months ago
A Practical Activity Capture Framework for Personal, Lifetime User Modeling
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...
Max Van Kleek, Howard E. Shrobe
76
Voted
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
15 years 5 months ago
A Bayesian Framework for Landing Site Selection during Autonomous Spacecraft Descent
– 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...
Navid Serrano