10916 search results - page 245 / 2184 » On Constructive Connectives and Systems |
158
click to vote
DEXA
2007
Springer
16 years 27 days ago
2007
Springer
With the Object-Reference (ORef) approach, the traditional object-oriented model is extended with references to act as a canonical model. Our ORef model facilitates the storage of ...
166
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Automatically determining facial similarity is a difficult and open question in computer vision. The problem is complicated both because it is unclear what facial features humans ...
186
click to vote
ACMDIS
2006
ACM
16 years 21 days ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...
222
click to vote
CASES
2006
ACM
16 years 20 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
189
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...