1546 search results - page 158 / 310 » Context-Aware Computing with Sound |
168
click to vote
TPHOL
2007
IEEE
16 years 15 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
150
click to vote
SCALESPACE
2007
Springer
16 years 10 days 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...
157
click to vote
LICS
2006
IEEE
16 years 7 days 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...
157
click to vote
WMTE
2006
IEEE
16 years 7 days 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,...
178
click to vote
APSEC
2005
IEEE
15 years 12 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 ...