1990 search results - page 175 / 398 » Integrated Human Behavior Modeling |
151
Voted
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
125
click to vote
EUMAS
2006
15 years 4 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
150
Voted
SAC
2012
ACM
13 years 11 months ago
2012
ACM
Data cloning method is a new computational tool for computing maximum likelihood estimates in complex statistical models such as mixed models. This method is synthesized with inte...
112
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
114
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...