3228 search results - page 291 / 646 » Computationally Sound Proofs |
126
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
127
Voted
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes an extension of compressed sensing that allows to express the sparsity prior in a dictionary of bases. This enables the use of the random sampling strategy of c...
133
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
136
click to vote
WMTE
2006
IEEE
15 years 10 months ago
2006
IEEE
MyArtSpace is a service on mobile phones for enquiry-led museum learning. It enables students to create their own interpretations of museum visits through descriptions of objects,...
156
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...