3319 search results - page 189 / 664 » Type Theoretical Databases |
126
click to vote
SIGMOD
2010
ACM
14 years 9 months ago
2010
ACM
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
ICDE
1998
IEEE
15 years 2 months ago
1998
IEEE
Consider a database that represents the location of moving objects, such as taxi-cabs (typical query: retrieve the cabs that are currently within 1 mile of 33 Michigan Ave., Chica...
101
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
107
click to vote
COLING
2010
14 years 5 months ago
2010
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
WSDM
2010
ACM
15 years 5 months ago
2010
ACM
Two-sided markets arise when two different types of users may realize gains by interacting with one another through one or more platforms or mediators. We initiate a study of the...