2162 search results - page 182 / 433 » Automated Reasoning on Feature Models |
140
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
156
click to vote
IIWAS
2004
15 years 5 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
153
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
157
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
133
click to vote
LOGCOM
2008
15 years 4 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...