7971 search results - page 61 / 1595 » On unbounded operators and applications |
94
Voted
HIPEAC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The interest in translation-based virtual execution environments (VEEs) is growing with the recognition of their importance in a variety of applications. However, due to ...
120
Voted
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...
113
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
100
Voted
ACL
1997
15 years 2 months ago
1997
String transformation systems have been introduced in (Brill, 1995) and have several applications in natural language processing. In this work we consider the computational proble...
118
click to vote
APAL
2008
15 years 27 days ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...