Sciweavers

280 search results - page 31 / 56
» Object-Oriented Programming Support for CLASSIC
Sort
View
SIGADA
2005
Springer
14 years 1 months ago
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
Javier Miranda, Edmond Schonberg, Hristian Kirtche...
ATAL
2005
Springer
14 years 1 months ago
Towards an agent oriented programming language with caste and scenario mechanisms
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
Ji Wang, Rui Shen, Hong Zhu
STOC
2001
ACM
129views Algorithms» more  STOC 2001»
14 years 8 months ago
Interaction in quantum communication and the complexity of set disjointness
One of the most intriguing facts about communication using quantum states is that these states cannot be used to transmit more classical bits than the number of qubits used, yet i...
Hartmut Klauck, Ashwin Nayak, Amnon Ta-Shma, David...
DBPL
1993
Springer
89views Database» more  DBPL 1993»
13 years 11 months ago
Database Programming in Transaction Logic
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
Anthony J. Bonner, Michael Kifer, Mariano P. Conse...
INFORMATICALT
2007
111views more  INFORMATICALT 2007»
13 years 7 months ago
Oblique Support Vector Machines
In this paper we propose a modified framework of support vector machines, called Oblique Support Vector Machines(OSVMs), to improve the capability of classification. The principl...
Chih-Chia Yao, Pao-Ta Yu