2642 search results - page 175 / 529 » Merge-by-Wire: Algorithms and System Support |
135
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
176
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
135
click to vote
ESANN
2006
15 years 6 months ago
2006
Spatial filtering is a widely used dimension reduction method in electroencephalogram based brain-computer interface systems. In this paper a new algorithm is proposed, which learn...
157
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
We demonstrate a system for querying probabilistic XML documents with simple XPath queries. A user chooses between a variety of query answering techniques, both exact and approxim...
160
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...