7075 search results - page 284 / 1415 » Models and heterogeneous reasoning |
168
Voted
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
181
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose parameter estimation techniques for mixture density polynomial segment models (MDPSMs) where their trajectories are speciïŹed with an arbitrary regressi...
144
click to vote
ISI
2004
Springer
16 years 1 days ago
2004
Springer
We aligned two fundamentally different models of smallpox transmission after a bioterrorist attack: A location-explicit multi-agent model (BioWar) and the conventional epidemiologi...
149
click to vote
APPINF
2003
15 years 8 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ...
172
click to vote
REFSQ
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systemsâ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...