1419 search results - page 180 / 284 » Notes on Formalizing Context |
DEXA
1994
Springer
15 years 4 months ago
1994
Springer
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these ki...
106
Voted
NICSO
2010
Springer
15 years 4 months ago
2010
Springer
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
114
click to vote
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
105
Voted
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
Uncertain information is commonplace in real-world data management scenarios. The ability to represent large sets of possible instances (worlds) while supporting efficient storage ...