Sciweavers

2440 search results - page 143 / 488
» Explanation-Based Feature Construction
Sort
View
PDSE
2000
91views more  PDSE 2000»
15 years 5 months ago
A Formalism for Hierarchical Mobile Agents
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
Ichiro Satoh
FEGC
2010
307views Biometrics» more  FEGC 2010»
15 years 4 months ago
Visual sentence-phrase-based document representation for effective and efficient content-based image retrieval
Abstract. Having effective and efficient methods to get access to desired images is essential nowadays with the huge amount of digital images. This paper presents an analogy betwee...
Ismail Elsayad, Jean Martinet, Thierry Urruty, Cha...
CORR
2010
Springer
133views Education» more  CORR 2010»
15 years 4 months ago
On Byzantine Containment Properties of the $min+1$ Protocol
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...
DKE
2007
136views more  DKE 2007»
15 years 4 months ago
Deciding XPath containment with MSO
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
Pierre Genevès, Nabil Layaïda
FUIN
2007
108views more  FUIN 2007»
15 years 4 months ago
Local Properties of Triangular Graphs
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...
Antoni W. Mazurkiewicz