250 search results - page 27 / 50 » Reflections on Finite Model Theory |
IWPC
1996
IEEE
15 years 1 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
GRC
2008
IEEE
14 years 10 months ago
2008
IEEE
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
ALGORITHMICA
2002
14 years 9 months ago
2002
In this paper we introduce a generalization of Paging to the case where there are many threads of requests. This models situations in which the requests come from more than one ind...