Sciweavers

224 search results - page 38 / 45
» Context and Caterpillars and Structured Documents
Sort
View
ICFP
2005
ACM
15 years 9 months ago
Toward a general theory of names: binding and scope
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
James Cheney
BNCOD
2007
96views Database» more  BNCOD 2007»
14 years 11 months ago
Extracting Temporal Information from Short Messages
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...
Richard Cooper, Sinclair Manson
MIXER
2004
14 years 11 months ago
Design Patterns for Augmented Reality Systems
For documentation and development of augmented reality (AR) systems, we propose the use of design patterns. Patterns are structured descriptions of successfully applied problem-so...
Asa MacWilliams, Thomas Reicher, Gudrun Klinker, B...
CORR
2010
Springer
196views Education» more  CORR 2010»
14 years 9 months ago
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
Christoph Lange 0002
POPL
2006
ACM
15 years 10 months ago
The essence of command injection attacks in web applications
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
Zhendong Su, Gary Wassermann