6047 search results - page 734 / 1210 » Modeling with Extend |
188
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
204
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
286
click to vote
VLDB
2004
ACM
16 years 7 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
193
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
152
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...