Sciweavers

1813 search results - page 219 / 363
» Instance Pruning Techniques
Sort
View
NAACL
1994
15 years 7 months ago
Pattern Matching in a Linguistically-Motivated Text Understanding System
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
Damaris M. Ayuso
WICSA
2007
15 years 7 months ago
Constructing a Reading Guide for Software Product Audits
Architectural knowledge is reflected in various artifacts of a software product. In the case of a software product audit this architectural knowledge needs to be uncovered and it...
Remco C. de Boer, Hans van Vliet
ACNS
2010
Springer
134views Cryptology» more  ACNS 2010»
15 years 7 months ago
Efficient and Secure Evaluation of Multivariate Polynomials and Applications
In this work, we design two-party and multiparty protocols for evaluating multivariate polynomials at participants' inputs with security against a malicious adversary who may ...
Matthew K. Franklin, Payman Mohassel
CADE
2010
Springer
15 years 7 months ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
Markus Aderhold
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
15 years 6 months ago
Advances in constrained clustering
— Constrained clustering (semi-supervised learning) techniques have attracted more attention in recent years. However, the commonly used constraints are restricted to the instanc...
ZiJie Qi, Yinghui Yang