Sciweavers

3101 search results - page 484 / 621
» Using Relational Databases in the Engineering Repository Sys...
Sort
View
TROB
2008
186views more  TROB 2008»
15 years 5 months ago
Attentional Landmarks and Active Gaze Control for Visual SLAM
This paper is centered around landmark detection, tracking and matching for visual SLAM (Simultaneous Localization And Mapping) using a monocular vision system with active gaze con...
Simone Frintrop, Patric Jensfelt
DSVIS
2005
Springer
15 years 10 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ROBOCOMM
2007
IEEE
15 years 11 months ago
Shared memories: a trail-based coordination server for robot teams
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
George Roussos, Dikaios Papadogkonas, J. Taylor, D...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 10 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
WCRE
2003
IEEE
15 years 10 months ago
Predicting Maintainability with Object-Oriented Metrics - An Empirical Comparison
A large number of metrics have been proposed for measuring properties of object-oriented software such as size, inheritance, cohesion and coupling. We have been investigating whic...
Melis Dagpinar, Jens H. Jahnke