402 search results - page 69 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
MM
2009
ACM
14 years 2 months ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we present a method of semantic knowledge building for image database by extracting semantic meanings from Web page contents. The novelty of our method is that it i...
INAP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...