8828 search results - page 1271 / 1766 » Formal methods in practice |
160
click to vote
NORDICHI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a number of augmented refrigerator magnet concepts. The concepts are shown to be derived from previous research into the everyday use of fridge surfaces. ...
171
click to vote
SIGCSE
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
209
click to vote
ICDM
2005
IEEE
16 years 23 days ago
2005
IEEE
The problem of record linkage focuses on determining whether two object descriptions refer to the same underlying entity. Addressing this problem effectively has many practical ap...
232
click to vote
ICIP
2005
IEEE
16 years 23 days ago
2005
IEEE
— This paper proposes a face recognition system that uses (i) passive stereo vision to capture three-dimensional (3D) facial information and (ii) 3D matching using a simple ICP (...
213
click to vote
IRI
2005
IEEE
16 years 23 days ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...