3951 search results - page 17 / 791 » Automatic amortized analysis |
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we describe a method of automatically generating summary slides from a text. The slides are generated by itemizing topic/non-topic parts that are extracted...
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
ICIAR
2004
Springer
14 years 3 months ago
2004
Springer
It is well known that the text that appears in a video scene or is graphically added to it is an important source of semantic information for indexing and retrieval, notably in the...