3724 search results - page 401 / 745 » Timed regular expressions |
173
Voted
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
174
click to vote
FGR
2006
IEEE
16 years 25 days ago
2006
IEEE
We examined the effectiveness of using Haar features and the Adaboost boosting algorithm for FACS action unit (AU) recognition. We evaluated both recognition accuracy and processi...
185
click to vote
ICALT
2006
IEEE
16 years 25 days ago
2006
IEEE
Proper reuse of learning objects depends both on the amount and quality of attached semantic metadata such as “learning objective”', “related concept”, etc. Manually ...
168
click to vote
ISWC
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...
151
click to vote
ACII
2005
Springer
16 years 10 days ago
2005
Springer
Affect is a transient phenomenon, with emotions tending to blend and interact over time [4]. This paper discusses emotional distributions in child-directed texts. It provides stat...