Sciweavers

1055 search results - page 102 / 211
» Enumerations in computable structure theory
Sort
View
DIGRA
2003
Springer
15 years 9 months ago
Ka as shomin-geki: Problematizing videogame studies
The paper addresses limitations of strictly interactive theories of videogame genre, proposes a supplementary, historicist inter-media alternative, and interprets the videogame Ka...
William Huber
BIBE
2005
IEEE
121views Bioinformatics» more  BIBE 2005»
15 years 10 months ago
RNA Pseudoknot Prediction Using Term Rewriting
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
Xuezheng Fu, Hao Wang, William L. Harrison, Robert...
TFS
2011
264views Education» more  TFS 2011»
14 years 11 months ago
Information Granularity in Fuzzy Binary GrC Model
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...
Yuhua Qian, Jiye Liang, W.-z. Z. Wu, Chuangyin Dan...
LICS
2009
IEEE
15 years 11 months ago
Indexed Containers
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
Thorsten Altenkirch, Peter Morris
ICCV
2009
IEEE
1188views Computer Vision» more  ICCV 2009»
16 years 7 months ago
Actionable Information in Vision
I propose a notion of visual information as the complexity not of the raw images, but of the images after the effects of nuisance factors such as viewpoint and illumination are dis...
Stefano Soatto