1045 search results - page 91 / 209 » The Use of Exceptions |
149
click to vote
NEUROSCIENCE
2001
Springer
15 years 7 months 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...
134
Voted
ICTAC
2010
Springer
15 years 17 days 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 ...
127
Voted
JVM
2001
15 years 4 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...
98
Voted
WCE
2007
15 years 3 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...
137
Voted
ICPR
2010
IEEE
15 years 5 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 ...