1546 search results - page 180 / 310 » Context-Aware Computing with Sound |
133
click to vote
WOLLIC
2007
Springer
16 years 15 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...
167
click to vote
SKG
2006
IEEE
16 years 12 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...
192
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
146
click to vote
ACMDIS
2006
ACM
16 years 11 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...
144
click to vote
HICSS
2005
IEEE
16 years 2 hour 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...