6456 search results - page 980 / 1292 » Constraint Solving on Terms |
159
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This CHI Note proposes a new research initiative for the HCI community: multi-lifespan information system design. The central idea begins with the identification of categories of ...
188
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
179
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
164
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
Linear discriminant analysis (LDA) has been successfully applied into computer vision and pattern recognition for effective feature extraction. High-dimensional objects such as im...
185
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...