4743 search results - page 630 / 949 » The PlusCal Algorithm Language |
148
click to vote
WEA
2005
Springer
16 years 3 days 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...
147
click to vote
CAV
2004
Springer
16 years 1 days 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 ...
158
click to vote
ICALP
2004
Springer
16 years 13 hour 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...
174
click to vote
IJCNLP
2004
Springer
16 years 3 hour 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...
185
click to vote
CAV
2003
Springer
15 years 12 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...