Sciweavers

313 search results - page 20 / 63
» Solving Structured Polynomial Systems and Applications to Cr...
Sort
View
LPNMR
2009
Springer
16 years 4 days ago
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
Harold Ishebabi, Philipp Mahr, Christophe Bobda, M...
WEBDB
2009
Springer
131views Database» more  WEBDB 2009»
16 years 6 days ago
Functional Dependency Generation and Applications in Pay-As-You-Go Data Integration Systems
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...
Daisy Zhe Wang, Xin Luna Dong, Anish Das Sarma, Mi...
157
Voted
SMA
2006
ACM
101views Solid Modeling» more  SMA 2006»
15 years 11 months ago
A higher dimensional formulation for robust and interactive distance queries
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...
Joon-Kyung Seong, David E. Johnson, Elaine Cohen
TCC
2007
Springer
170views Cryptology» more  TCC 2007»
15 years 11 months ago
Secure Linear Algebra Using Linearly Recurrent Sequences
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...
Eike Kiltz, Payman Mohassel, Enav Weinreb, Matthew...
153
Voted
EP
1998
Springer
15 years 9 months ago
Autotag: A Tool for Creating Structured Document Collections from Printed Materials
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...
Kazem Taghva, Allen Condit, Julie Borsack