962 search results - page 147 / 193 » Some Reducibilities on Regular Sets |
150
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
169
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the artificial neural networks (ANNs), feature selection is a wellresearched problem, which can improve the network performance and speed up the training of the networ...
135
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
153
click to vote
VLSI
2005
Springer
15 years 11 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
150
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...