4502 search results - page 620 / 901 » Regular Model Checking |
127
click to vote
MSCS
2006
15 years 6 months ago
2006
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
189
click to vote
TNN
2008
15 years 6 months ago
2008
In this paper, a new kernel-based method for data visualization and dimensionality reduction is proposed. A reference point is considered corresponding to additional constraints ta...
163
click to vote
TSP
2008
15 years 6 months ago
2008
Gossip algorithms for distributed computation are attractive due to their simplicity, distributed nature, and robustness in noisy and uncertain environments. However, using standa...
167
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
194
click to vote
ET
1998
15 years 6 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...