Sciweavers

802 search results - page 66 / 161
» Skill Characterization Based on Betweenness
Sort
View
AAAI
1998
13 years 9 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis
AROBOTS
2006
119views more  AROBOTS 2006»
13 years 7 months ago
A Discussion of Simultaneous Localization and Mapping
This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
Udo Frese
DLS
2010
162views Languages» more  DLS 2010»
13 years 5 months ago
Proxies: design principles for robust object-oriented intercession APIs
Proxies are a powerful approach to implement meta-objects in object-oriented languages without having to resort to metacircular interpretation. We introduce such a meta-level API ...
Tom Van Cutsem, Mark S. Miller
TIP
2008
222views more  TIP 2008»
13 years 7 months ago
Local Region Descriptors for Active Contours Evolution
Edge-based and region-based active contours are frequently used in image segmentation. While edges characterize small neighborhoods of pixels, region descriptors characterize entir...
Cristina Darolti, Alfred Mertins, Christoph Bodens...
RTSS
2007
IEEE
14 years 1 months ago
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
Vibha Prasad, Ting Yan, Praveen Jayachandran, Zeng...