Sciweavers

307 search results - page 34 / 62
» Beyond Frontier Exploration
Sort
View
CSL
2004
Springer
15 years 5 months ago
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
Neil Immerman, Alexander Moshe Rabinovich, Thomas ...
SYNTHESE
2010
98views more  SYNTHESE 2010»
14 years 6 months ago
Cognitive ability and the extended cognition thesis
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...
Duncan Pritchard
CHI
2007
ACM
16 years 6 days ago
A predictive model of menu performance
Menus are a primary control in current interfaces, but there has been relatively little theoretical work to model their performance. We propose a model of menu performance that go...
Andy Cockburn, Carl Gutwin, Saul Greenberg
CHI
2007
ACM
16 years 6 days ago
The use of aesthetics in HCI systems
As computing expands its domain from workplace to pervasive and domestic environments, interest in aesthetics for designing is increasing in HCI. HCI literatures in aesthetics pro...
Jina Huh, Mark S. Ackerman, Robert Douglas
CHI
2006
ACM
16 years 6 days ago
Biasing response in Fitts' Law tasks
Fitts' law, relating the time to acquire a target to the target size and the distance from the target, is an effective and widely used predictor of performance in feedback co...
Emory Al-Imam, Edward Lank