13383 search results - page 2281 / 2677 » Abstractions from proofs |
134
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
150
click to vote
WABI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A recursive algorithm by Aho, Sagiv, Szymanski, and Ullman [1] forms the basis for many modern rooted supertree methods employed in Phylogenetics. However, as observed by...
146
click to vote
WAIFI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
166
click to vote
WAW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper describes an Open Linked Data backlinking service, a generic architecture component to support the discovery of useful links between items across highly connec...