4218 search results - page 271 / 844 » Complete sets of cooperations |
98
Voted
ENTCS
2006
15 years 25 days ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
74
Voted
JAIR
2008
15 years 25 days ago
2008
Levesque proposed a generalization of a database called a proper knowledge base (KB), which is equivalent to a possibly infinite consistent set of ground literals. In contrast to ...
111
click to vote
NETWORKS
2008
15 years 23 days ago
2008
In a problem arising in grooming for two-period optical networks, it is required to decompose the complete graph on n vertices into subgraphs each containing at most C edges, so t...
66
Voted
MLQ
2006
15 years 23 days ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
80
Voted
JCT
2007
15 years 22 days ago
2007
In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not who wins but rather how fast can one win. T...