3724 search results - page 151 / 745 » Timed regular expressions |
138
click to vote
TAGT
1994
Springer
15 years 8 months ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
132
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
172
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
ct We propose a new near-real time technique for 3D face pose tracking from a monocular image sequence obtained from an uncalibrated camera. The basic idea behind our approach is t...
139
click to vote
TSP
2008
15 years 4 months ago
2008
We propose a new two-stage approach to estimate the nominal angles of arrival (AoAs) and the angular spreads (ASs) of multiple locally scattered sources using a uniform linear arra...
146
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...