2659 search results - page 71 / 532 » Do we mean the same |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
133
click to vote
ARGMAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation that ...
106
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
135
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...
128
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We present a near-quadratic time algorithm that computes a point inside a simple polygon P having approximately the largest visibility polygon inside P, and a nearlinear time algo...