10718 search results - page 629 / 2144 » On the Circuit Implementation Problem |
200
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
157
click to vote
BCSHCI
1997
15 years 8 months ago
1997
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and th...
197
Voted
ENTCS
2007
15 years 7 months ago
2007
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way f...
234
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
162
click to vote
JSC
2010
15 years 2 months ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...