10038 search results - page 1847 / 2008 » Model Checking for Managers |
137
click to vote
FLAIRS
2003
15 years 5 months ago
2003
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
125
click to vote
IADIS
2003
15 years 5 months ago
2003
XML has become the most useful standard of data interchange in the web and e-business world and there is a large amount of information stored in this format. Nonetheless, a large ...
123
click to vote
PDCN
2004
15 years 5 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...
163
click to vote
SPLC
2004
15 years 5 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
138
click to vote
COLING
2000
15 years 5 months ago
2000
We argue that in general, the analysis of lexical cohesion factors in a document can drive a summarizer, as well as enable other content characterization tasks. More narrowly, thi...