4480 search results - page 330 / 896 » Prototyping Completion with Constraints Using Computational ... |
170
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
176
click to vote
NIPS
2003
15 years 8 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
161
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The Virtual Window system uses head movements in a local office to control camera movement in a remote office. The result is like a window allowing exploration of remote scenes ra...
242
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...
190
click to vote
STACS
1991
Springer
15 years 10 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....