4250 search results - page 134 / 850 » Understanding the Requirements on Modelling Techniques |
SAT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
TAMODIA
2008
13 years 10 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
IDA
2006
Springer
13 years 9 months ago
2006
Springer
The analysis of microarray data from time-series experiments requires specialised algorithms, which take the temporal ordering of the data into account. In this paper we explore a ...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
We present a biology-inspired probabilistic graphical model, called the hypernetwork model, and its application to medical diagnosis of disease. The hypernetwork models are a way ...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...