4485 search results - page 809 / 897 » Equivalences on Observable Processes |
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
DNA
2006
Springer
14 years 1 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
We present a method to acquire the reflectance field of a human face and use these measurements to render the face under arbitrary changes in lighting and viewpoint. We first acqu...
WSC
2007
14 years 10 days ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
WSC
2007
14 years 10 days ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...