Sciweavers

1729 search results - page 240 / 346
» Practical Temporal Projection
Sort
View
PRDC
2006
IEEE
14 years 3 months ago
Towards Timely ACID Transactions in DBMS
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
Marco Vieira, António Casimiro Costa, Henri...
MM
2005
ACM
158views Multimedia» more  MM 2005»
14 years 2 months ago
Semantic knowledge extraction and annotation for web images
Nowadays, images have become widely available on the World Wide Web (WWW). It’s essential to develop effective ways for managing and retrieving such abundant images. Advantageou...
Zhigang Hua, Xiang-Jun Wang, Qingshan Liu, Hanqing...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
14 years 2 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
DEXA
2005
Springer
160views Database» more  DEXA 2005»
14 years 2 months ago
Improved Sequential Pattern Mining Using an Extended Bitmap Representation
The main challenge of mining sequential patterns is the high processing cost of support counting for large amount of candidate patterns. For solving this problem, SPAM algorithm wa...
Chien-Liang Wu, Jia-Ling Koh, Pao-Ying An
ERCIMDL
2003
Springer
116views Education» more  ERCIMDL 2003»
14 years 2 months ago
Connecting Interface Metaphors to Support Creation of Path-Based Collections
Abstract. Walden’s Paths is a suite of tools that supports the creation and presentation of linear hypermedia paths—targeted collections that enable authors to reorganize and c...
Unmil Karadkar, Andruid Kerne, Richard Furuta, Lui...