Sciweavers

4270 search results - page 276 / 854
» A Permutation Approach to Validation
Sort
View
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
Cooperation-based Invariants for OO Languages
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
IAJIT
2006
92views more  IAJIT 2006»
15 years 6 months ago
A Rule-Based Extensible Stemmer for Information Retrieval with Application to Arabic
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
Haidar Harmanani, Walid Keirouz, Saeed Raheel
IPL
2008
147views more  IPL 2008»
15 years 6 months ago
Streaming tree automata
Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the t...
Olivier Gauwin, Joachim Niehren, Yves Roos
ENTCS
2007
132views more  ENTCS 2007»
15 years 6 months ago
Building Reputations for Internet Clients
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
Songjie Wei, Jelena Mirkovic
TROB
2008
210views more  TROB 2008»
15 years 6 months ago
Dynamical System Modulation for Robot Learning via Kinesthetic Demonstrations
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
Micha Hersch, Florent Guenter, Sylvain Calinon, Au...