5510 search results - page 795 / 1102 » Mathematics |
167
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
152
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...
160
click to vote
CIKM
1997
Springer
15 years 11 months ago
1997
Springer
CT This paper explores several methods for visualizing the thematic content of large document collections. As opposed to traditional query-driven document retrieval, these methods ...
181
Voted
EMMCVPR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...
169
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...