13985 search results - page 2214 / 2797 » Active Feature Models |
177
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
202
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
The classification of graph based objects is an important challenge from a knowledge discovery standpoint and has attracted considerable attention recently. In this paper, we pres...
161
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Previous work on scheduling dynamic competitive jobs is focused on multiprocessors configurations. This paper presents a new distributed dynamic scheduling scheme for sporadic re...
172
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The study of synchronization of population dynamics is extremely important for predicting and evaluating the risk of global extinctions. The migration in a network of p...
154
Voted
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 1 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...