373 search results - page 62 / 75 » Analysis of Recursive State Machines |
134
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract Microblogging is a form of online communication by which users broadcast brief text updates, also known as tweets, to the public or a selected circle of contacts. A varieg...
142
Voted
RTA
2007
Springer
15 years 8 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
122
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an emotion recognition system from clean and noisy speech. Geodesic distance was adopted to preserve the intrinsic geometry of emotional speech. Based on the g...
110
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
116
click to vote
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial exp...