Sciweavers

3639 search results - page 435 / 728
» Provenance as Dependency Analysis
Sort
View
201
Voted
IBPRIA
2007
Springer
16 years 26 days ago
Summarizing Image/Surface Registration for 6DOF Robot/Camera Pose Estimation
Abstract. In recent years, 6 Degrees Of Freedom (DOF) Pose Estimation and 3D Mapping is becoming more important not only in the robotics community for applications such as robot na...
Elisabet Batlle, Carles Matabosch, Joaquim Salvi
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
16 years 25 days ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
PKDD
2007
Springer
146views Data Mining» more  PKDD 2007»
16 years 24 days ago
A Method for Multi-relational Classification Using Single and Multi-feature Aggregation Functions
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
Richard Frank, Flavia Moser, Martin Ester
QOSA
2007
Springer
16 years 24 days ago
A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
Roshanak Roshandel, Nenad Medvidovic, Leana Golubc...
RTA
2007
Springer
16 years 24 days ago
Intruders with Caps
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
Siva Anantharaman, Paliath Narendran, Michaël...