2941 search results - page 291 / 589 » The Myth of the Educational Computer |
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
190
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We develop a method for measuring homology classes. This involves three problems. First, we define the size of a homology class, using ideas from relative homology. Second, we defi...
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...