3901 search results - page 516 / 781 » software 2008 |
151
click to vote
AVI
2008
15 years 9 months ago
2008
Recently, multimodal and affective technologies have been adopted to support expressive and engaging interaction, bringing up a plethora of new research questions. Among the chall...
170
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Much effort has been expended in recent years to create large sets of hash codes from known files. Distributing these sets has become more difficult as these sets grow larger. Mea...
231
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...
185
click to vote
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
— Human centred services are increasingly common in the market of mobile devices. However, affective aware services are still scarce. In turn, the recognition of secondary emotio...
158
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...