1385 search results - page 223 / 277 » Natural Rewriting for General Term Rewriting Systems |
106
click to vote
FOAL
2008
ACM
15 years 3 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
112
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
111
click to vote
HUC
2009
Springer
15 years 5 months ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...
134
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
The majority of people in rural developing regions do not have access to the World Wide Web. Traditional network connectivity technologies have proven to be prohibitively expensiv...
120
click to vote
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...