4340 search results - page 590 / 868 » Formal Methods and Cryptography |
153
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
158
Voted
PRIB
2009
Springer
16 years 1 months ago
2009
Springer
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...
182
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
151
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
183
click to vote
IWCMC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...