5675 search results - page 11 / 1135 » Formalising Performative Interaction |
104
click to vote
TYPES
1998
Springer
15 years 1 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
SIS
2007
14 years 11 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
104
click to vote
WOTE
2010
14 years 7 months ago
2010
According to international law, anonymity of the voter is a fundamental precondition for democratic elections. In electronic voting, several aspects of voter anonymity have been id...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
When sampling signals below the Nyquist rate, efficient and accurate reconstruction is nevertheless possible, whenever the sampling system is well behaved and the signal is well ...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
There has been little work that attempts to improve the recognition of spontaneous, conversational speech by adding information from a loosely-coupled modality. This study investi...