3605 search results - page 261 / 721 » Analysis and Applications of the XDI model |
165
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
171
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a o...
178
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
148
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
155
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
— We consider the application of kernel canonical correlation analysis (K-CCA) to the supervised equalization of Wiener systems. Although a considerable amount of research has be...