1045 search results - page 91 / 209 » The Use of Exceptions |
NEUROSCIENCE
2001
Springer
14 years 21 days ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
JVM
2001
13 years 9 months ago
2001
Modern computer systems are becoming more powerful and are using larger memories. However, except for very high end systems, little attention is being paid to high availability. T...
WCE
2007
13 years 9 months ago
2007
— this article reports on an electrical retinal stimulation system for use in long-term animal electrical stimulation experiments. The presented system consists of an implantable...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
—In this paper we present a method for seamless enlargement and editing of intricate near-regular type of bidirectional texture function (BTF) which contains simultaneously both ...