8828 search results - page 1524 / 1766 » Formal methods in practice |
183
click to vote
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...
177
Voted
APBC
2007
15 years 8 months ago
2007
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...
151
click to vote
BCSHCI
2007
15 years 8 months ago
2007
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
150
click to vote
BCSHCI
2008
15 years 8 months ago
2008
The SenseCam is a passive capture wearable camera, worn around the neck and developed by Microsoft Research in the UK. When worn continuously it takes an average of 2,000 images p...
148
click to vote
BCSHCI
2008
15 years 8 months ago
2008
The involvement of technology to support and enhance learning is ever increasing; for example moving from the traditional blackboard to electronic whiteboards, from printed books ...