Sciweavers

3001 search results - page 29 / 601
» Recursive type generativity
Sort
View
DEXA
2006
Springer
129views Database» more  DEXA 2006»
15 years 3 months ago
Selectively Storing XML Data in Relations
This paper presents a new framework for users to select relevant data from an XML document and store it in an existing relational database, as opposed to previous approaches that s...
Wenfei Fan, Lisha Ma
IJCAI
1993
15 years 1 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
CORR
2004
Springer
110views Education» more  CORR 2004»
14 years 11 months ago
On Modal Logics of Partial Recursive Functions
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
Pavel Naumov
FSMNLP
2005
Springer
15 years 5 months ago
Parsing with Lexicalized Probabilistic Recursive Transition Networks
Abstract. We present a formalization of lexicalized Recursive Transition Networks which we call Automaton-Based Generative Dependency Grammar (gdg). We show how to extract a gdg fr...
Alexis Nasr, Owen Rambow
APPT
2009
Springer
14 years 9 months ago
The Recursive Dual-Net and Its Applications
Abstract. In this paper, we propose a universal network, called recursive dual-net (RDN). It can be used as a candidate of effective interconnection networks for massively parallel...
Yamin Li, Shietung Peng, Wanming Chu