Sciweavers

128 search results - page 11 / 26
» PADS ML: a functional data description language
Sort
View
ICDT
2003
ACM
127views Database» more  ICDT 2003»
13 years 12 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
POPL
2004
ACM
14 years 7 months ago
Polymorphic typed defunctionalization
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
François Pottier, Nadji Gauthier
AEI
2010
115views more  AEI 2010»
13 years 6 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
WWW
2002
ACM
14 years 7 months ago
RQL: a declarative query language for RDF
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
Gregory Karvounarakis, Sofia Alexaki, Vassilis Chr...
IHI
2012
197views Healthcare» more  IHI 2012»
12 years 2 months ago
A corpus of clinical narratives annotated with temporal information
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
Lucian Galescu, Nate Blaylock