3765 search results - page 314 / 753 » Qualitative Action Systems |
231
click to vote
ADBIS
1995
Springer
15 years 11 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
186
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
167
Voted
WWW
2009
ACM
16 years 8 months ago
2009
ACM
People use weblogs to express thoughts, present ideas and share knowledge, therefore weblogs are extraordinarily valuable resources, amongs others, for trend analysis. Trends are ...
212
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
176
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Traditional Chinese medicine (TCM) has a rich knowledge about human health and disease by its special way evolved along a very long history. As modern medicine is achieving much...