1461 search results - page 1 / 293 » On Regular Reduced Products |
JSYML
2002
13 years 10 months ago
2002
ENTCS
2008
13 years 11 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
ICIP
2002
IEEE
15 years 12 days ago
2002
IEEE
Transform approximations are explored for speeding up the software compression of images and video. Faster approximations are used to replace the regular DCT whenever only few DCT...
HPCC
2009
Springer
14 years 3 months ago
2009
Springer
Usual cache optimisation techniques for high performance computing are difficult to apply in embedded VLIW applications. First, embedded applications are not always well structur...
ICDT
2001
ACM
14 years 3 months ago
2001
ACM
Rewriting queries using views is a powerful technique that has applications in query optimization, data integration, data warehousing etc. Query rewriting in relational databases ...