6608 search results - page 1050 / 1322 » On the Completeness of Model Checking |
174
click to vote
PPSN
2004
Springer
16 years 19 hour ago
2004
Springer
Different credit assignment strategies are investigated in a two level co-evolutionary model which involves a population of Gaussian neurons and a population of radial basis funct...
175
click to vote
TSD
2004
Springer
16 years 13 hour ago
2004
Springer
This paper presents a new unit selection process for Very Low Bit Rate speech encoding around 500 bits/sec. The encoding is based on speech recognition and speech synthesis technol...
172
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
146
click to vote
DFT
2003
IEEE
15 years 12 months ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
159
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...