2308 search results - page 181 / 462 » Categorial Semantics For LFG |
175
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
199
click to vote
WWW
2003
ACM
15 years 11 months ago
2003
ACM
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. We present a ne...
166
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
We exploit the retrieval of visual information from biomedical scientific publication databases. Therefore, we consider the use of domain specific genres to automatically subdiv...
144
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...
145
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...