1626 search results - page 180 / 326 » Subtyping with Power Types |
146
Voted
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
171
Voted
HAPTICS
2009
IEEE
15 years 8 months ago
2009
IEEE
In order to achieve awareness of collision during teleoperation and to support operator with valuable information (object stiffness and shape), we elaborated approaches to object ...
141
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
150
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
122
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...