12783 search results - page 687 / 2557 » Experimenting with computing |
169
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
188
click to vote
CSCW
2008
ACM
15 years 9 months ago
2008
ACM
The design of online collaborative computer games and pervasive games can learn from the everyday practice of deer hunting. We present an ethnographic study revealing how hunters ...
217
click to vote
ESTIMEDIA
2008
Springer
15 years 9 months ago
2008
Springer
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
219
click to vote
ACL
2007
15 years 8 months ago
2007
This paper examines whether a learningbased coreference resolver can be improved using semantic class knowledge that is automatically acquired from a version of the Penn Treebank ...
203
click to vote
ACL
2008
15 years 8 months ago
2008
In this paper we propose a domainindependent text segmentation method, which consists of three components. Latent Dirichlet allocation (LDA) is employed to compute words semantic ...