6020 search results - page 349 / 1204 » A New Approach to Model Counting |
187
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
168
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Modular model is a particular type of committee machine and is comprised of a set of specialized (local) models each of which is responsible for a particular region of the input s...
203
click to vote
VALUETOOLS
2006
ACM
16 years 22 days ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
220
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
177
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...