1054 search results - page 121 / 211 » Guarded Expressions in Practice |
186
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
153
click to vote
CSB
2003
IEEE
15 years 11 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
157
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
176
click to vote
KDID
2004
15 years 7 months ago
2004
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...
175
click to vote
BMCBI
2010
2010
Identifying common prognostic factors in genomic cancer studies: A novel index for censored outcomes
15 years 6 months ago
Background: With the growing number of public repositories for high-throughput genomic data, it is of great interest to combine the results produced by independent research groups...