Sciweavers

13734 search results - page 174 / 2747
» Abstractions of data types
Sort
View
ICFP
2006
ACM
16 years 4 months ago
A pattern for almost compositional functions
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
Aarne Ranta, Björn Bringert
EDBT
2008
ACM
124views Database» more  EDBT 2008»
16 years 4 months ago
Scalable XQuery type matching
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
Jens Teubner
CONTEXT
2007
Springer
15 years 8 months ago
The Influence of Task Contexts on the Decision-Making of Humans and Computers
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...
Ya'akov Gal, Barbara J. Grosz, Avi Pfeffer, Stuart...
GEOINFO
2004
15 years 5 months ago
Towards Automatic Feature Type Publication
: The purpose of the WFS specification, proposed by the the OpenGIS Consortium (OGC), is to describe the manipulation operations over geospatial data using GML. Web servers providi...
Vânia Maria Ponte Vidal, Marcel Teixeira, F&...
130
Voted
HT
1998
ACM
15 years 8 months ago
Enforcing Strong Object Typing in Flexible Hypermedia
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
Pedro Furtado, Henrique Madeira