Sciweavers

3775 search results - page 422 / 755
» The Expression Problem Revisited
Sort
View
IFIP
2004
Springer
16 years 5 days ago
Efficient Algorithms for Handling Molecular Weighted Sequences
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
Costas S. Iliopoulos, Christos Makris, Yannis Pana...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
16 years 5 days ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
IJCNLP
2004
Springer
16 years 5 days ago
Causal Relation Extraction Using Cue Phrase and Lexical Pair Probabilities
This work aims to extract causal relations that exist between two events expressed by noun phrases or sentences. The previous works for the causality made use of causal patterns su...
Du-Seong Chang, Key-Sun Choi
ISSAC
2004
Springer
88views Mathematics» more  ISSAC 2004»
16 years 5 days ago
Non-liouvillian solutions for second order Linear ODEs
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
L. Chan, E. S. Cheb-Terrab
LOPSTR
2004
Springer
16 years 5 days ago
Natural Rewriting for General Term Rewriting Systems
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
Santiago Escobar, José Meseguer, Prasanna T...