1385 search results - page 189 / 277 » Natural Rewriting for General Term Rewriting Systems |
173
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
147
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
170
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
A useful approach for enabling computers to automatically create new content is utilizing the text, media, and information already present on the World Wide Web. The newly created...
153
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
172
click to vote
HYBRID
2010
Springer
16 years 28 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...