29082 search results - page 122 / 5817 » The Time-Triggered Model of Computation |
IIE
2008
13 years 8 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
ENTCS
2006
13 years 8 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
ALGORITHMICA
2004
13 years 8 months ago
2004
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...
ICPR
2000
IEEE
14 years 18 days ago
2000
IEEE
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
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...