Sciweavers

2181 search results - page 349 / 437
» The restriction scaffold problem
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
13 years 8 months ago
Narrowing and Rewriting Logic: from Foundations to Applications
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
Santiago Escobar, José Meseguer, Prasanna T...
JSAC
2006
136views more  JSAC 2006»
13 years 8 months ago
Secure data communication in mobile ad hoc networks
We address the problem of secure and fault-tolerant communication in the presence of adversaries across a multihop wireless network with frequently changing topology. To effectivel...
Panagiotis Papadimitratos, Zygmunt J. Haas
JUCS
2006
107views more  JUCS 2006»
13 years 8 months ago
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
Beate Bollig
OIR
2008
94views more  OIR 2008»
13 years 8 months ago
Towards an architecture for open archive networks in agricultural sciences and technology
The AGRIS Network is an international initiative based on a collaborative network of institutions, whose aim is to promote free access to information on science and technology in a...
Imma Subirats, Irene Onyancha, Gauri Salokhe, Stef...
FSS
2007
102views more  FSS 2007»
13 years 8 months ago
Extraction of fuzzy rules from support vector machines
The relationship between support vector machines (SVMs) and Takagi–Sugeno–Kang (TSK) fuzzy systems is shown. An exact representation of SVMs as TSK fuzzy systems is given for ...
Juan Luis Castro, L. D. Flores-Hidalgo, Carlos Jav...