1701 search results - page 310 / 341 » Computer Science and State Machines |
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Categorization of online videos is often treated as a tag suggestion task; tags can be generated by individuals or by machine classification. In this paper, we suggest categoriza...
GI
2007
Springer
15 years 3 months ago
2007
Springer
: Die zunehmende Popularität des gemeinschaftlichen Indexierens (Social Tagging) führt zu umfangreichen Sammlungen an nutzergenerierten Metadaten. Eine automatisierte Verwertung ...
104
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
176
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
100
click to vote
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...