11740 search results - page 307 / 2348 » More Problems in Rewriting |
171
click to vote
ACL
2003
15 years 8 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
148
click to vote
ASIACRYPT
2007
Springer
16 years 25 days ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
170
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...
168
click to vote
SAT
2005
Springer
16 years 4 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
179
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
Our work is motivated by the problem of managing data on storage devices, typically a set of disks. Such storage servers are used as web servers or multimedia servers, for handling...