Sciweavers

9507 search results - page 324 / 1902
» Time-based language models
Sort
View
137
Voted
LICS
2005
IEEE
15 years 10 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
139
Voted
ER
2004
Springer
90views Database» more  ER 2004»
15 years 10 months ago
WUML: A Web Usage Manipulation Language for Querying Web Log Data
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
Qingzhao Tan, Yiping Ke, Wilfred Ng
EUROGP
2004
Springer
108views Optimization» more  EUROGP 2004»
15 years 10 months ago
Genetic Programming for Natural Language Parsing
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
Lourdes Araujo
123
Voted
DOCENG
2007
ACM
15 years 9 months ago
Declarative extensions of XML languages
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
Simon J. Thompson, Peter R. King, Patrick Schmitz
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
Failure Handling in a Network-Transparent Distributed Programming Language
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
Raphaël Collet, Peter Van Roy