2838 search results - page 325 / 568 » Interactions in Online Education |
187
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
232
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
162
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
224
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
201
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A variety of applications are emerging to support streaming video from mobile devices. However, many tasks can benefit from streaming specific content rather than the full video f...