2153 search results - page 396 / 431 » From Requirements Models to Formal Specifications in B |
103
Voted
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Discriminative sequential learning models like Conditional Random Fields (CRFs) have achieved significant success in several areas such as natural language processing, information...
AIPS
2009
14 years 10 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
114
click to vote
PLDI
2012
ACM
13 years 3 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
PODC
2011
ACM
14 years 15 days ago
2011
ACM
In this paper we study the problem of building a connected dominating set with constant degree (CCDS) in the dual graph radio network model [4,9,10]. This model includes two types...
KDD
2001
ACM
15 years 10 months ago
2001
ACM
Predictive models developed by applying Data Mining techniques are used to improve forecasting accuracy in the airline business. In order to maximize the revenue on a flight, the ...