Sciweavers

704 search results - page 43 / 141
» A Note on Typing Feature Structures
Sort
View
WCW
2004
Springer
15 years 7 months ago
Structured Partially Caching Proxies for Mixed Media
News on demand features user interaction, interdependent media and is used by different client types. These requirements are not yet accommodated by a single solution. We address ...
Frank T. Johnsen, Carsten Griwodz, Pål Halvo...
ICEIS
2005
IEEE
15 years 7 months ago
Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
Nishadi De Silva, Peter Henderson
ICDT
2003
ACM
127views Database» more  ICDT 2003»
15 years 7 months ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
ERSHOV
1999
Springer
15 years 6 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
ML
2007
ACM
101views Machine Learning» more  ML 2007»
15 years 1 months ago
A persistent union-find data structure
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
Sylvain Conchon, Jean-Christophe Filliâtre