5243 search results - page 206 / 1049 » Reasoning About Strategies |
220
click to vote
SIBGRAPI
2003
IEEE
15 years 12 months ago
2003
IEEE
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
166
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
Field research methods are useful in the many aspects of HumanComputer Interaction research, including gathering user requirements, understanding and developing user models, and n...
170
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
213
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
152
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
Little research has addressed IT professionals’ script debugging strategies, or considered whether there may be gender differences in these strategies. What strategies do male an...