Sciweavers

4172 search results - page 178 / 835
» Computing Machinery and Understanding
Sort
View
115
Voted
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 1 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft
132
Voted
CHI
1999
ACM
15 years 7 months ago
Design Guidelines for Landmarks to Support Navigation in Virtual Environments
not abstract asymmetry: different sides looks different clumps different from ”data objects” need grid structure, alignment [Design Guidelines for Landmarks to Support Navigati...
Norman G. Vinson
ICPR
2008
IEEE
15 years 10 months ago
A new method to obtain the shift-table in Boyer-Moore's string matching algorithm
The Boyer-Moore algorithm uses two pre-computed tables for searching a string: skip, which utilizes the occurrence heuristic of symbols in a pattern, and shift, which utilizes the...
Yang Wang
139
Voted
SEMCO
2008
IEEE
15 years 10 months ago
Do These News Videos Portray a News Event from Different Ideological Perspectives?
Television news has been the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead audience’s understanding about political...
Wei-Hao Lin, Alexander G. Hauptmann
116
Voted
AUIC
2006
IEEE
15 years 9 months ago
From pushing buttons to play and progress: value and interaction in fable
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
Pippin Barr, James Noble, Robert Biddle, Rilla Kha...