1456 search results - page 111 / 292 » Two Techniques to Improve Finite Model Search |
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
In the last couple of years we have evidenced several initiatives promoting the vision of open educational systems. Educational brokers are supposed to take advantage of this ‘in...
MM
2009
ACM
14 years 2 months ago
2009
ACM
An efficient indexing method is essential for content-based image retrieval with the exponential growth in large-scale videos and photos. Recently, hash-based methods (e.g., local...
DEXAW
2007
IEEE
14 years 2 months ago
2007
IEEE
Data fusion has been investigated by many researchers in the information retrieval community and has become an effective technique for improving retrieval effectiveness. In this p...
ICLP
2001
Springer
14 years 13 days ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...