Sciweavers

1649 search results - page 163 / 330
» On-Line Change Mechanisms
Sort
View
RAS
2010
108views more  RAS 2010»
15 years 4 months ago
Swarm-supported outdoor localization with sparse visual data
— The localization of mobile systems with video data is a challenging field in robotic vision research. Apart from artificial environmental support technologies like GPS locali...
Marcel Kronfeld, Christian Weiss, Andreas Zell
TRUST
2010
Springer
15 years 4 months ago
SegSlice: Towards a New Class of Secure Programming Primitives for Trustworthy Platforms
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
Sergey Bratus, Michael E. Locasto, Brian Schulte
ICWL
2010
Springer
15 years 4 months ago
Gap Detection in Web-Based Adaptive Educational Systems
Content development for adaptive educational systems is known to be an error-prone task. Gaps can occur when the content is created, modified or when the context of its usage chang...
Dominik Jednoralski, Erica Melis, Sergey A. Sosnov...
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 3 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
ANTSW
2010
Springer
15 years 1 months ago
A Deterministic Metaheuristic Approach Using "Logistic Ants" for Combinatorial Optimization
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
Rodolphe Charrier, Christine Bourjot, Franç...