1671 search results - page 312 / 335 » Semantics Through Pictures |
138
click to vote
KDD
2008
ACM
16 years 5 days ago
2008
ACM
The success of popular algorithms such as k-means clustering or nearest neighbor searches depend on the assumption that the underlying distance functions reflect domain-specific n...
207
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
227
click to vote
POPL
2001
ACM
16 years 3 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
158
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Suppose a long-running analytical query is executing on a database server and has been allocated a large amount of physical memory. A high-priority task comes in and we need to ru...
119
click to vote
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...