7340 search results - page 1157 / 1468 » The Behavior of Tutoring Systems |
178
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
211
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
159
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
191
click to vote
DSN
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
181
click to vote
IMC
2006
ACM
16 years 20 days ago
2006
ACM
The academic community has long acknowledged the existence of malicious botnets, however to date, very little is known about the behavior of these distributed computing platforms....