3116 search results - page 493 / 624 » Positively dependent types |
160
click to vote
CCR
2006
15 years 6 months ago
2006
Effective network troubleshooting is critical for maintaining efficient and reliable network operation. Troubleshooting is especially challenging in multi-hop wireless networks be...
186
click to vote
COGSCI
2006
15 years 6 months ago
2006
We study human decision making in a simple forced-choice task that manipulates the frequency and accuracy of available information. Empirically, we find that people make decisions...
171
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Peer review meetings (PRMs) are formal meetings during which peers systematically analyze artifacts to improve their quality and report on non-conformities. This paper presents an...
151
click to vote
EJIS
2006
15 years 6 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
166
click to vote
ENGL
2006
15 years 6 months ago
2006
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...