Sciweavers

2082 search results - page 32 / 417
» Change Paths in Reasoning!
Sort
View
70
Voted
GIS
2010
ACM
14 years 9 months ago
Scalable shortest paths browsing on land surface
The growing popularity of online Earth visualization tools and geo-realistic games and the availability of high resolution terrain data have motivated a new class of queries to th...
Songhua Xing, Cyrus Shahabi
LICS
2010
IEEE
14 years 9 months ago
Breaking Paths in Atomic Flows for Classical Logic
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
Alessio Guglielmi, Tom Gundersen, Lutz Straß...
77
Voted
CHI
2005
ACM
15 years 11 months ago
Towards an index of opportunity: understanding changes in mental workload during task execution
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...
Shamsi T. Iqbal, Piotr D. Adamczyk, Xianjun Sam Zh...
AAMAS
2005
Springer
14 years 10 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
142
Voted
GIS
2008
ACM
15 years 11 months ago
HOMES: highway operation monitoring and evaluation system
Chang-Tien Lu, Arnold P. Boedihardjo, Jing Dai, Fe...