1496 search results - page 136 / 300 » Improving the Modeling of Use Case Relationship |
197
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
163
click to vote
EWC
2008
15 years 6 months ago
2008
In parallel adaptive mesh refinement (AMR) computations the problem size can vary significantly during a simulation. The goal here is to explore the performance implications of dyn...
168
click to vote
HCI
2007
15 years 7 months ago
2007
Social software and web 2.0 live on the fact that people want to share and collaborate. This feeling of connecting with each other as well as helping and sharing information can be...
185
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Expression microarray analysis is one of the most popular molecular diagnostic techniques in the post-genomic era. However, this technique faces the fundamental proble...
111
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...