Sciweavers

4178 search results - page 484 / 836
» Similarity Patterns in Language
Sort
View
IFIP
2005
Springer
16 years 7 days ago
Recovering Digital Evidence from Linux Systems
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
Philip Craiger
APLAS
2004
ACM
16 years 5 days ago
Build, Augment and Destroy, Universally
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
Neil Ghani, Tarmo Uustalu, Varmo Vene
APLAS
2009
ACM
15 years 11 months ago
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
Hongfei Fu
UIST
1991
ACM
15 years 10 months ago
SUIT: the Pascal of user interface toolkits
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
Randy Pausch, Nathaniel R. Young II, Robert DeLine
ACL
2007
15 years 8 months ago
Bootstrapping a Stochastic Transducer for Arabic-English Transliteration Extraction
We propose a bootstrapping approach to training a memoriless stochastic transducer for the task of extracting transliterations from an English-Arabic bitext. The transducer learns...
Tarek Sherif, Grzegorz Kondrak