3256 search results - page 623 / 652 » Applications of Formal Methods to System Design and Verifica... |
HUC
2010
Springer
14 years 10 months ago
2010
Springer
With a focus on presenting information at the right time, the ubicomp community can benefit greatly from learning the most salient human measures of cognitive load. Cognitive load...
CVPR
2010
IEEE
14 years 10 months ago
2010
IEEE
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
76
Voted
CONCURRENCY
2007
14 years 9 months ago
2007
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
PE
2008
Springer
14 years 9 months ago
2008
Springer
As the size of parallel computers increases, as well as the number of sources per router node, congestion inside the interconnection network rises significantly. In such systems, ...
110
Voted
TIP
2008
14 years 9 months ago
2008
Estimating human age automatically via facial image analysis has lots of potential real-world applications, such as human computer interaction and multimedia communication. However...