4385 search results - page 626 / 877 » Abstraction for Concurrent Objects |
182
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
191
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
183
click to vote
ARCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
194
click to vote
ICIAR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Due to improvements in image acquisition and storage technology, terabyte-sized databases of images are nowadays common. This abundance of data leads us to two basic prob...
170
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Shareability is a design principle that refers to how a system, interface, or device engages a group of collocated, co-present users in shared interactions around the sam...