Sciweavers

8446 search results - page 996 / 1690
» A Process Compensation Language
Sort
View
FM
2009
Springer
98views Formal Methods» more  FM 2009»
16 years 2 months ago
Recursive Abstractions for Parameterized Systems
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
Joxan Jaffar, Andrew E. Santosa
KCAP
2009
ACM
16 years 1 months ago
Knowledge integration across multiple texts
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...
Doo Soon Kim, Ken Barker, Bruce W. Porter
LATA
2010
Springer
16 years 1 months ago
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics
We extend stochastic context-free grammars such that the probability of applying a production can depend on the length of the subword that is generated from the application and sho...
Frank Weinberg, Markus E. Nebel
COMPSAC
2008
IEEE
16 years 1 months ago
Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
Sascha Hunold, Matthias Korch, Björn Krellner...
ISDA
2008
IEEE
16 years 1 months ago
Compute the Term Contributed Frequency
In this paper, we propose an algorithm and data structure for computing the term contributed frequency (tcf) for all N-grams in a text corpus. Although term frequency is one of th...
Cheng-Lung Sung, Hsu-Chun Yen, Wen-Lian Hsu