16666 search results - page 2553 / 3334 » Descriptive and Computational Complexity |
238
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Demographic change in regard to an aging population with an increasing amount of diabetes patients will put a strain on health care rentability in all modern societies. E...
186
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
The transition to multithreaded, multi-core designs places a greater responsibility on programmers and software for improving performance; thread-level parallelism (TLP) will be i...
214
click to vote
CHINZ
2007
ACM
15 years 11 months ago
2007
ACM
The email communication system is threatened by unsolicited commercial email aka spam. In response, spam filters have been deployed widely to help reduce the amount of spam users ...
190
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
247
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
The perception of future wireless mesh network (WMN) deployment and usage is rapidly evolving. WMNs are now being envisaged to provide citywide "last-mile" access for nu...