2191 search results - page 164 / 439 » Aspect - A Problem For MT |
121
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
While tactical command. control and communication environments might appear to be entirely instrumental in nature, they nevertheless provide a setting for social interaction. This...
114
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
150
click to vote
STOC
2006
ACM
16 years 4 months ago
2006
ACM
We present a new data structure that facilitates approximate nearest neighbor searches on a dynamic set of points in a metric space that has a bounded doubling dimension. Our data...
200
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
214
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Data management is growing in complexity as largescale applications take advantage of the loosely coupled resources brought together by grid middleware and by abundant storage cap...