2163 search results - page 172 / 433 » cases 2004 |
162
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
188
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
163
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
The Gibbs sampling method has been widely used for sequence analysis after it was successfully applied to the problem of identifying regulatory motif sequences upstream of genes. ...
176
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
We study a situation that arises in the somatic evolution of cancer. Consider a finite population of replicating cells and a sequence of mutations: type 0 can mutate to type 1, wh...
152
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...