3228 search results - page 328 / 646 » Computationally Sound Proofs |
140
click to vote
WOLLIC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
177
click to vote
SKG
2006
IEEE
16 years 23 days ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
153
click to vote
ACMDIS
2006
ACM
16 years 22 days ago
2006
ACM
Studies which I carried out recently of users of digital music players revealed that the element of randomness plays a role in influencing the user experience (UX). Apart from bei...
151
Voted
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Nicholas Carr’s question “Does IT Matter?”(to the maintenance of competitive advantage) has been applied to many industries but the one that depends on IT almost exclusively...
157
Voted
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
Automatic detection of a falling person in video is an important problem with applications in security and safety areas including supportive home environments and CCTV surveillance...