3809 search results - page 566 / 762 » Associative language descriptions |
219
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
311
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
309
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
161
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
162
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
Where the field has been and where it is going? It is relatively easy to know where we have been, but harder (and more valuable) to know where we are going. The title of this paper...