Sciweavers

1638 search results - page 100 / 328
» Properties of input-consuming derivations
Sort
View
ENDM
2006
57views more  ENDM 2006»
14 years 10 months ago
One-point extensions of generalized hexagons and octagons
In this note, we prove the uniqueness of the one-point extension S of a generalized hexagon of order 2 and prove the non-existence of such an extension S of any other finite gener...
Hans Cuypers, A. De Wispelaere, Hendrik Van Maldeg...
FSS
2006
102views more  FSS 2006»
14 years 10 months ago
Consistent Sobolev regression via fuzzy systems with overlapping concepts
In this paper we propose a new nonparametric regression algorithm based on Fuzzy systems with overlapping concepts. We analyze its consistency properties, showing that it is capab...
Giancarlo Ferrari-Trecate, Riccardo Rovatti
COMBINATORICA
2007
117views more  COMBINATORICA 2007»
14 years 10 months ago
Embedding nearly-spanning bounded degree trees
We derive a sufficient condition for a sparse graph G on n vertices to contain a copy of a tree T of maximum degree at most d on (1 − )n vertices, in terms of the expansion prop...
Noga Alon, Michael Krivelevich, Benny Sudakov
IS
2008
14 years 10 months ago
On the expressibility of functions in XQuery fragments
XQuery is a powerful XML query language with many features and syntactic constructs. For many common queries we do not need all the expressive power of XQuery. We investigate the ...
Jan Hidders, Stefania Marrara, Jan Paredaens, Roel...
JAR
2008
89views more  JAR 2008»
14 years 10 months ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff