10284 search results - page 1658 / 2057 » Designing for nomadic work |
169
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
192
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
176
click to vote
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
164
click to vote
INTETAIN
2005
Springer
16 years 10 days ago
2005
Springer
Games and other forms of tabletop electronic entertainment are a natural application of the new multi-user multi-touch tabletop technology DiamondTouch [3]. Electronic versions of...
226
click to vote
IWLCS
2005
Springer
16 years 10 days ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...