5506 search results - page 334 / 1102 » Minimal Logic Programs |
138
Voted
APAL
2006
15 years 4 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
137
click to vote
FINTAL
2006
15 years 8 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
129
click to vote
IEEEPACT
1998
IEEE
15 years 9 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
135
Voted
ICAI
2007
15 years 6 months ago
2007
Abstract— The paper proposes a dynamic programming algorithm for training of functional networks. The algorithm considers each node as a state. The problem is formulated as find...
157
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We propose a new iterative approach for solving linear programs over convex cones. Assuming that Slaters condition is satisfied, the conic problem is transformed to the minimizatio...