3059 search results - page 167 / 612 » with Wide Functional Units |
346
Voted
EMMCVPR
2011
Springer
14 years 6 months ago
2011
Springer
The complex wave representation (CWR) converts unsigned 2D distance transforms into their corresponding wave functions. The underlying motivation for performing this maneuver is as...
198
Voted
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
181
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
254
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
193
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...