469 search results - page 91 / 94 » Reasoning About Method Calls in Interface Specifications |
GROUP
2009
ACM
14 years 3 months ago
2009
ACM
Networked multiplayer games must support a much wider variety of interactions than single-player games because networked games involve communication and coordination between playe...
MM
2004
ACM
14 years 2 months ago
2004
ACM
The EXT3NS is a scalable file system designed to handle video streaming workload in large-scale on-demand streaming services. It is based on a special H/W device, called Network-S...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
An iconic image database is a collection of symbolic images where each image is a collection of labeled point features called icons. A method is presented to support fast position...
ACST
2006
13 years 10 months ago
2006
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a theoretical analysis of supervised ranking, providing necessary and sufficient conditions for the asymptotic consistency of algorithms based on minimizing a surrogate...