4743 search results - page 630 / 949 » The PlusCal Algorithm Language |
94
Voted
WEA
2005
Springer
15 years 7 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design e...
102
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
101
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
113
Voted
IJCNLP
2004
Springer
15 years 7 months ago
2004
Springer
This paper explores collaborative ability of co-training algorithm. We propose a new measurement (CA) for representing the collaborative ability of co-training classifiers based o...
127
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...