Sciweavers

43264 search results - page 438 / 8653
» Comparing models of computation
Sort
View
ALGORITHMICA
2004
84views more  ALGORITHMICA 2004»
15 years 5 months ago
Computing Diameter in the Streaming and Sliding-Window Models
We investigate the diameter problem in the streaming and slidingwindow models. We show that, for a stream of n points or a sliding window of size n, any exact algorithm for diamet...
Joan Feigenbaum, Sampath Kannan, Jian Zhang 0004
SIGCSE
2009
ACM
144views Education» more  SIGCSE 2009»
16 years 5 months ago
A model academic ethics and integrity policy for computer science departments
For decades, US universities and colleges have had policies pertaining to the conduct of their students at the institutional level. These policies are referred to as Academic Inte...
Charles Riedesel, Eric D. Manley, Susan Poser, Jit...
191
Voted
CONCUR
2006
Springer
15 years 7 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
WWW
2005
ACM
16 years 5 months ago
Modeling the author bias between two on-line computer science citation databases
We examine the difference and similarities between two online computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manually while the C...
Vaclav Petricek, Ingemar J. Cox, Hui Han, Isaac G....