18155 search results - page 3618 / 3631 » Point |
103
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
102
click to vote
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
126
click to vote
TEI
2012
ACM
13 years 5 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
137
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
WSDM
2012
ACM
13 years 5 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...