2075 search results - page 121 / 415 » aime 2007 |
190
click to vote
POPL
2007
ACM
16 years 28 days ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
127
click to vote
CADE
2007
Springer
16 years 28 days ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
206
Voted
SIGMOD
2007
ACM
16 years 23 days ago
2007
ACM
The provenance of data has recently been recognized as central to the trust one places in data. It is also important to annotation, to data integration and to probabilistic databa...
88
Voted
ICIAP
2007
ACM
16 years 22 days ago
2007
ACM
Real-time histogram specification methods aims to find a continuous function that transforms a source image to match a target distribution with the highest possible degree of accu...
85
Voted
ICIAP
2007
ACM
16 years 22 days ago
2007
ACM
This paper presents a method to detect passengers on-board public transport vehicles with the ultimate aim of monitoring their behaviours under suspicious circumstances. The metho...