505 search results - page 34 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
101
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
102
click to vote
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
101
click to vote
IR
2006
14 years 11 months ago
2006
This paper describes a method, using Genetic Programming, to automatically determine term weighting schemes for the vector space model. Based on a set of queries and their human de...
112
click to vote
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
The most expensive geometric operation in image synthesis is visibility determination. Classically this is solved with hidden surface removal algorithms that render only the parts...
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...