4211 search results - page 703 / 843 » Types as Abstract Interpretations |
144
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
128
click to vote
ICGI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Left deteministic linear languages are a subclass of the context free languages that includes all the regular languages. Recently was proposed an algorithm to identify in...
134
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
158
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
171
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The ability to lead collaborative discussions and appropriately scaffold learning has been identified as one of the central advantages of human tutorial interaction [6]. ...