1633 search results - page 310 / 327 » Interactive Volume Navigation |
148
Voted
KDD
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
161
Voted
EUROGRAPHICS
2010
Eurographics
16 years 11 days ago
2010
Eurographics
In this paper we show how to use two-colored pixels as a generic tool for image processing. We apply twocolored pixels as a basic operator as well as a supporting data structure f...
115
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
152
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
121
click to vote
ICCV
2007
IEEE
15 years 9 months ago
2007
IEEE
The endovascular repair of a traumatic rupture of the thoracic aorta - that would otherwise lead to the death of the patient - is performed by delivering a stent-graft into the ve...