1054 search results - page 110 / 211 » Guarded Expressions in Practice |
137
click to vote
COLING
1992
15 years 7 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
168
click to vote
CACM
2010
15 years 6 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study the kinematic geometry of general 3-RPR planar parallel robots with actuated base joints. These robots, while largely overlooked, have simple direct kinematics and large ...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on t...