3228 search results - page 328 / 646 » Computationally Sound Proofs |
108
click to vote
WOLLIC
2007
Springer
15 years 10 months 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...
144
Voted
SKG
2006
IEEE
15 years 10 months 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...
111
Voted
ACMDIS
2006
ACM
15 years 10 months 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...
121
click to vote
HICSS
2005
IEEE
15 years 9 months 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...
122
click to vote
ICCV
2005
IEEE
15 years 9 months 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...