Sciweavers

359 search results - page 55 / 72
» On different generalizations of episturmian words
Sort
View
JBI
2006
13 years 7 months ago
Bioinformatics and biological reality
Many bioinformaticians seem to shy away from believing that we can have knowledge about a mind-independent biological reality. This paper attempts to show that this tendency is ne...
Ingvar Johansson
JUCS
2008
166views more  JUCS 2008»
13 years 7 months ago
ASM Refinement Preserving Invariants
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
Gerhard Schellhorn
JUCS
2008
122views more  JUCS 2008»
13 years 7 months ago
Using an Evolving Thematic Clustering in a Text Segmentation Process
Abstract: The thematic text segmentation task consists in identifying the most important thematic breaks in a document in order to cut it into homogeneous passages. We propose in t...
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat,...
JUCS
2008
115views more  JUCS 2008»
13 years 7 months ago
A Service-oriented Process to Develop Web Applications
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
Fábio Zaupa, Itana Maria de Souza Gimenes, ...
JOIN
2006
128views more  JOIN 2006»
13 years 7 months ago
Galo: a Deployable Framework for Providing Better than Best-Effort Quality of Service
In this paper we propose a deployable approach to improving QoS by using a generic, extendable, overlay architecture; the Generalized Application Layer Overlay (GALO). The goals of...
Raheem A. Beyah, Raghupathy Sivakumar, John A. Cop...