Sciweavers

1517 search results - page 277 / 304
» On automatic knowledge validation for Bayesian knowledge bas...
Sort
View
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
13 years 7 months ago
Soft-tissue injury in robotics
— Up to now, mostly blunt human-robot impacts were investigated in the robotics literature. In this context, the influence of robot mass and velocity during rigid impacts with a...
Sami Haddadin, Alin Albu-Schäffer, Gerd Hirzi...
CVPR
2004
IEEE
14 years 10 months ago
Multiple Bernoulli Relevance Models for Image and Video Annotation
Retrieving images in response to textual queries requires some knowledge of the semantics of the picture. Here, we show how we can do both automatic image annotation and retrieval...
Shaolei Feng, Raghavan Manmatha, Victor Lavrenko
ICSE
2008
IEEE-ACM
14 years 9 months ago
On the automation of fixing software bugs
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
Andrea Arcuri
VIZSEC
2004
Springer
14 years 2 months ago
Managing attack graph complexity through visual hierarchical aggregation
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
Steven Noel, Sushil Jajodia
ERSHOV
2009
Springer
14 years 20 days ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...