Sciweavers

11394 search results - page 419 / 2279
» Error-Correcting Data Structures
Sort
View
145
Voted
JLP
2006
111views more  JLP 2006»
15 years 5 months ago
Executable structural operational semantics in Maude
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
Alberto Verdejo, Narciso Martí-Oliet
IJDAR
2007
106views more  IJDAR 2007»
15 years 4 months ago
Investigation and modeling of the structure of texting language
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
Monojit Choudhury, Rahul Saraf, Vijit Jain, Animes...
126
Voted
BMCBI
2004
75views more  BMCBI 2004»
15 years 4 months ago
Structural characterization of genomes by large scale sequence-structure threading
Background: Using sequence-structure threading we have conducted structural characterization of complete proteomes of 37 archaeal, bacterial and eukaryotic organisms (including wo...
Artem Cherkasov, Steven J. M. Jones
IVC
2002
132views more  IVC 2002»
15 years 4 months ago
Structure and motion estimation from apparent contours under circular motion
In this paper we address the problem of recovering structure and motion from the apparent contours of a smooth surface. Fixed image features under circular motion and their relati...
Kwan-Yee Kenneth Wong, Paulo R. S. Mendonça...
118
Voted
PSYCHNOLOGY
2007
75views more  PSYCHNOLOGY 2007»
15 years 4 months ago
Is It Fun to Go to Sydney? Common-Sense Knowledge of Social Structures and WAP
This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...
Ilpo Koskinen