10995 search results - page 112 / 2199 » Positioning |
WWW
2006
ACM
14 years 10 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
KDD
2002
ACM
14 years 10 months ago
2002
ACM
CHI
2008
ACM
14 years 10 months ago
2008
ACM
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
The area of medical monitoring and diagnostics is of particular importance and relevance today. Modern nanotechnology has reduced prices and size of increasingly sophisticated sen...