4018 search results - page 295 / 804 » Process algebra for performance evaluation |
167
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
As the complexity of large-scale enterprise applications increases, providing performance verification through staging becomes an important part of reducing business risks associat...
172
click to vote
MVA
2007
15 years 8 months ago
2007
This paper presents color processing for face recognition systems and proposes new directions for them. We show that color information helps performance of face recognition and fo...
183
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Speech act classification remains one of the challenges in natural language processing. This paper evaluates a classification system that assigns one of twelve dialog acts to an u...
155
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
208
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...