1344 search results - page 88 / 269 » Automatic performance analysis with periscope |
107
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
104
click to vote
CIMCA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we propose a novel method for automatic evaluation of conversational agents. The method is based on analyzing the user’s affect conveyed in utterances. From analyz...
119
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
127
click to vote
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
One of the difficulties of Content-Based Image Retrieval (CBIR) is the gap between high-level concepts and low-level image features, e.g., color and texture. Relevance feedback wa...
114
click to vote
SIGCOMM
1997
ACM
15 years 5 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...