1755 search results - page 131 / 351 » An efficient simulation algorithm based on abstract interpre... |
135
click to vote
JODL
2006
15 years 3 months ago
2006
Abstract Scalable storage architectures enable digital libraries and archives for the addition or removal of storage devices to increase storage capacity and bandwidth or retire ol...
136
click to vote
RECOMB
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
150
click to vote
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In ad hoc sensor networks, sensor nodes have very limited energy resources, thus energy consuming operations such as data collection, transmission and reception must be k...
115
click to vote
AROBOTS
2005
15 years 3 months ago
2005
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...
111
click to vote
ISNN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, some sufficient conditions are obtained to guarantee that discrete time cellular neural networks (DTCNNs) can have some stable memory patterns. These condi...