1730 search results - page 142 / 346 » Algebra and Computation |
102
Voted
EUSFLAT
2001
15 years 2 months ago
2001
The paper considers the application of soft computing techniques for predictive modelling in the built sector. TakagiSugeno fuzzy models are built by subtractive clustering to pro...
111
click to vote
AAECC
2008
Springer
15 years 28 days ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...
89
Voted
SYNTHESE
2008
15 years 22 days ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
106
Voted
ATS
1997
IEEE
15 years 5 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
95
Voted
IFIP
2000
Springer
15 years 4 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...