4250 search results - page 134 / 850 » Understanding the Requirements on Modelling Techniques |
150
click to vote
SAT
2007
Springer
15 years 10 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...
135
Voted
TAMODIA
2008
15 years 6 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...
163
Voted
IDA
2006
Springer
15 years 4 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 ...
146
click to vote
GECCO
2007
Springer
15 years 10 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 ...
165
click to vote
CAISE
2009
Springer
15 years 11 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...