4617 search results - page 811 / 924 » Automation of Diagrammatic Reasoning |
188
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Ubiquitous computing has fueled the idea of constructing sentient, information-rich "smart spaces" that extend the boundaries of traditional computing to encompass physi...
173
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
Websites serve content both through Web Services as well as through user-viewable webpages. While the consumers of web-services are typically ‘machines’, webpages are meant fo...
167
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Automated teller machine (ATM) frauds are increasing drastically these days. When analyzing the most common attacks and the reasons for successful frauds, it becomes apparent that...
159
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
170
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
— Future application areas of wireless sensor networks (WSNs) may include industrial process automation, aircraft control systems or patient monitoring in hospitals. Such applica...