Sciweavers

5499 search results - page 202 / 1100
» Generalized Rewrite Theories
Sort
View
ARGMAS
2005
Springer
15 years 9 months ago
A Logic of Abstract Argumentation
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...
FOIS
2008
15 years 8 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
IJRFITA
2007
84views more  IJRFITA 2007»
15 years 7 months ago
Characterisation of RF propagation in metal pipes for passive RFID systems
: In this paper we extend the theory of Radio Frequency (RF) propagation as it relates to propagation within metal circular pipes. This work is motivated by a need to understand th...
Darmindra D. Arumugam, Daniel W. Engels
APAL
2005
93views more  APAL 2005»
15 years 7 months ago
Logical aspects of Cayley-graphs: the group case
Abstract. We prove that a finitely generated group is context-free whenever its Cayleygraph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Sc...
Dietrich Kuske, Markus Lohrey
IWANN
2001
Springer
15 years 11 months ago
Non-symmetric Support Vector Machines
A novel approach to calculate the generalization error of the support vector machines and a new support vector machine–nonsymmatic support vector machine–is proposed here. Our ...
Jianfeng Feng