Sciweavers

34181 search results - page 6487 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
134
Voted
ATAL
2010
Springer
15 years 6 months ago
When should there be a "Me" in "Team"?: distributed multi-agent optimization under uncertainty
Increasing teamwork between agents typically increases the performance of a multi-agent system, at the cost of increased communication and higher computational complexity. This wo...
Matthew E. Taylor, Manish Jain, Yanquin Jin, Makot...
142
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
Dexter Kozen
BRAIN
2010
Springer
15 years 6 months ago
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
Yingxu Wang
CCGRID
2010
IEEE
15 years 6 months ago
Dynamic TTL-Based Search in Unstructured Peer-to-Peer Networks
Abstract--Resource discovery is a challenging issue in unstructured peer-to-peer networks. Blind search approaches, including flooding and random walks, are the two typical algorit...
Imen Filali, Fabrice Huet
CHI
2008
ACM
15 years 6 months ago
Testing vs. code inspection vs. what else?: male and female end users' debugging strategies
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
Neeraja Subrahmaniyan, Laura Beckwith, Valentina G...
« Prev « First page 6487 / 6837 Last » Next »