575 search results - page 30 / 115 » constraints 2011 |
166
click to vote
SAT
2011
Springer
14 years 2 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
113
click to vote
DAWAK
2011
Springer
13 years 11 months ago
2011
Springer
Data cleaning and ETL processes are usually modeled as graphs of data transformations. The involvement of the users responsible for executing these graphs over real data is importa...
109
click to vote
FPL
2011
Springer
13 years 11 months ago
2011
Springer
Abstract—Soft on-FGPA interconnection networks are gaining increasing importance since they simplify the integration of heterogeneous components and offer, at the same time, a mo...
104
click to vote
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
— This paper describes the design and implementation of a digital ink recognition server for handwritten Japanese text. Currently, fast and accurate recognition of online handwri...
89
Voted
ACL
2011
14 years 3 months ago
2011
We present a novel approach to discovering relations and their instantiations from a collection of documents in a single domain. Our approach learns relation types by exploiting m...