5473 search results - page 886 / 1095 » On the graph isomorphism problem |
185
click to vote
SPLST
2003
15 years 7 months ago
2003
Abstract. In this paper, we consider the aesthetic criteria and constraints related to the layouts of UML sequence diagrams. We consider the applicability of the traditional graph ...
174
click to vote
PSTV
1993
15 years 7 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
167
click to vote
CIDR
2009
15 years 7 months ago
2009
Enterprise environments have isolated teams responsible separately for database management and the management of underlying networkattached server-storage infrastructure (referred...
183
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
177
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper we study averaging algorithms and coverage control laws in a unified light. First, we characterize the convergence properties of averaging algorithms over acyclic di...