19130 search results - page 391 / 3826 » Modelling multi-path problems |
147
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
186
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper reports on our recent work on modeling and automatically extracting vague, implicit event durations from text (Pan et al., 2006a, 2006b). It is a kind of commonsense kn...
174
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Numerical solution of any large, three-dimensional fluid flow problem is a computationally intensive task that typically requires supercomputer solution to achieve reasonable exec...
195
Voted
IJCAI
2007
15 years 8 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
161
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In this paper we will describe several methods that solve, using mathematical programming, different problems that, although can be used in others fields in the fuzzy modelling co...