7167 search results - page 1193 / 1434 » A Technique for Invariant Generation |
206
click to vote
COMCOM
2002
15 years 7 months ago
2002
Abstract-- We consider the delivery of video assets over a besteffort network, possibly through a caching proxy located close to the clients generating the requests. We are interes...
185
click to vote
CSCW
2002
ACM
15 years 7 months ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...
202
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
236
click to vote
CUZA
2002
15 years 7 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
214
click to vote
JAR
2000
15 years 7 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...