674 search results - page 4 / 135 » Subwebs for specialized search |
CONSTRAINTS
2007
13 years 7 months ago
2007
JSAT
2008
13 years 7 months ago
2008
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
SNPD
2004
13 years 9 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
IPPS
2003
IEEE
14 years 25 days ago
2003
IEEE
This work presents the architecture of PROSIDIS, a special purpose processor designed to search for the occurrence of substrings similar to a given ‘template string’ within a ...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
In the Weighted Finite State Transducer (WFST) framework for speech recognition, we can reduce memory usage and increase flexibility by using on-the-fly composition which genera...