4419 search results - page 171 / 884 » Information Science in Transition |
108
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
132
click to vote
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
We propose a novel, motion planning based approach to approximately map the energy landscape of an RNA molecule. Our method is based on the successful probabilistic roadmap motion...
136
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A w...
137
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
153
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...