3212 search results - page 467 / 643 » Faster Concept Analysis |
DLOG
2006
15 years 20 days ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
104
click to vote
FLAIRS
2006
15 years 19 days ago
2006
In real-life decision analysis, the probabilities and values of consequences are in general vague and imprecise. One way to model imprecise probabilities is to represent a probabi...
120
click to vote
CASCON
2003
15 years 19 days ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
116
click to vote
RIAO
2004
15 years 19 days ago
2004
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
102
click to vote
WSC
2000
15 years 18 days ago
2000
The term Enterprise Simulation (ES) is gaining acceptance among simulation practitioners. It is coming to represent certain tangible attributes, and its benefits seem apparent in ...