980 search results - page 53 / 196 » A Sequential Reduction Strategy |
ANLP
2000
14 years 11 months ago
2000
We present an efficientmulti-levelchart parser that was designed forsyntacticanalysisofclosedcaptions (subtitles) in a real-time Machine Translation (MT) system. In order to achie...
ACSAC
2008
IEEE
14 years 10 months ago
2008
IEEE
Alphanumeric passwords are widely used in computer and network authentication to protect users' privacy. However, it is well known that long, textbased passwords are hard for...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
IBERAMIA
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we address the problem of finding an object in a polygonal environment as quickly as possible on average, with a team of mobile robots that can sense the environment...
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
Preserving privacy during Web transactions is a major concern for individuals and organizations. One of the solutions proposed in the literature is to maintain anonymity through gr...