Sciweavers

144227 search results - page 50 / 28846
» Using
Sort
View
ECMDAFA
2008
Springer
74views Hardware» more  ECMDAFA 2008»
13 years 12 months ago
Annotation Framework Validation Using Domain Models
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
Carlos Noguera, Laurence Duchien
FLOPS
2008
Springer
13 years 11 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
BCSHCI
2008
13 years 11 months ago
An investigation into the use of field methods in the design and evaluation of interactive systems
This paper reports the results of an international web-based survey on the use of field studies in the design and evaluation of interactive systems, which was conducted between De...
Kelly Monahan, Mia Lahteenmaki, Sharon McDonald, G...
BCSHCI
2008
13 years 11 months ago
Can technology-rich spaces support multiple uses?
A number of technology-rich spaces have been designed and created over the last few years with the purpose of supporting and enhancing learning, collaboration, community participa...
Nadia Pantidi, Hugh Robinson, Yvonne Rogers
DICTA
2007
13 years 11 months ago
Attitude Estimation for a Fixed-Wing Aircraft Using Horizon Detection and Optical Flow
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...
Damien Dusha, Wageeh Boles, Rodney Walker