Sciweavers

8636 search results - page 1401 / 1728
» How Developers Copy
Sort
View
AAMAS
2007
Springer
15 years 4 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
ACS
2008
15 years 4 months ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
AI
2008
Springer
15 years 4 months ago
Robust artificial life via artificial programmed death
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...
M. M. Olsen, N. Siegelmann-Danieli, Hava T. Siegel...
AIEDU
2007
93views more  AIEDU 2007»
15 years 4 months ago
UMPTEEN: Named and Anonymous Learner Model Access for Instructors and Peers
Recently, opening the learner model to the learner it represents has become more common in adaptive learning environments. There have also been systems that allow instructors acces...
Susan Bull, Andrew Mabbott, Abdallatif S. Abu-Issa
AMAI
2007
Springer
15 years 4 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
« Prev « First page 1401 / 1728 Last » Next »