313 search results - page 20 / 63 » Solving Structured Polynomial Systems and Applications to Cr... |
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
14 years 3 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
WEBDB
2009
Springer
14 years 3 months ago
2009
Springer
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
SMA
2006
ACM
14 years 2 months ago
2006
ACM
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...
EP
1998
Springer
14 years 26 days ago
1998
Springer
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...