1302 search results - page 90 / 261 » Fair Equivalence Relations |
163
click to vote
CIE
2009
Springer
16 years 3 days ago
2009
Springer
This paper studies the Turing degrees of various properties defined for universal numberings, that is, for numberings which list all partial-recursive functions. In particular pro...
162
click to vote
SEMCO
2008
IEEE
15 years 12 months ago
2008
IEEE
Associative classification is a novel and powerful method originating from association rule mining. In the previous studies, a relatively small number of high-quality association...
150
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
130
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
154
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...