4767 search results - page 329 / 954 » Structures for Abstract Rewriting |
174
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Software transactional memory systems enable a programmer to easily write concurrent data structures such as lists, trees, hashtables, and graphs, where non-conflicting operation...
156
click to vote
DAWAK
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
180
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
162
click to vote
MM
2005
ACM
16 years 6 days ago
2005
ACM
Identifying short repeated video clips, such as news program logo, station logo, TV commercials, etc., from broadcasting video databases or streams is important for video content ...
165
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...