Sciweavers

1037 search results - page 19 / 208
» A view of canonical extension
Sort
View
WSC
2004
13 years 9 months ago
Some Recent Advances in the Process World View
We discuss a modification of the process world view, a graphical modeling representation language for the modified process world view called Control Flow Graphs (CFGs), an extensi...
Robert G. Sargent
DEXAW
1998
IEEE
83views Database» more  DEXAW 1998»
14 years 22 days ago
Programming Views for Mobile Database Clients
Within a database mobile environment, cached data on mobile clients can take the form of materialized views. In order to e ciently maintain such materialized views while taking in...
Susan Weissman Lauzac, Panos K. Chrysanthis
SKG
2005
IEEE
14 years 2 months ago
Effective Maintenance of Materialized Views in Peer Data Management Systems
Materialized view is a useful tool to cache data in data warehouse, data replication, data visualization and etc. However, view maintenance in peer data management systems (PDMSs) ...
Biao Qin, Shan Wang, Xiaoyong Du
ENTCS
2006
113views more  ENTCS 2006»
13 years 8 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
GECCO
2000
Springer
14 years 1 days ago
Sampling Bias and Search Space Boundary Extension in Real Coded Genetic Algorithms
In Real coded genetic algorithms, some crossover operators do not work well on functions which have their optimum at the corner of the search space. To cope with this problem, we ...
Shigeyoshi Tsutsui