2702 search results - page 312 / 541 » Practically Applicable Formal Methods |
175
Voted
TKDE
2012
13 years 5 months ago
2012
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
126
click to vote
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
118
Voted
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
113
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
114
click to vote
HPCA
2003
IEEE
16 years 3 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...