1753 search results - page 285 / 351 » State Machines |
BMCBI
2006
14 years 12 months ago
2006
Background: The structure of proteins may change as a result of the inherent flexibility of some protein regions. We develop and explore probabilistic machine learning methods for...
111
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
SPAA
2003
ACM
15 years 5 months ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
136
click to vote
CSCW
2011
ACM
14 years 6 months ago
2011
ACM
In this paper we describe how we moved from ethnographic study to design and testing of a Mixed Reality (MR) system, supporting collaborative troubleshooting of office copiers and...
WWW
2003
ACM
16 years 15 days ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...