7988 search results - page 86 / 1598 » A Useful Undecidable Theory |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
EUSFLAT
2001
13 years 10 months ago
2001
An original method for service life assessment of building products is proposed. In addition to a rigorous analysis and system modelling, "Evidence Theory" is adapted an...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
ECIS
2004
13 years 10 months ago
2004
This paper explores the use of two complementary approaches, each stemming from Personal Construct Theory (PCT), to investigate the interdependence of organizations and informatio...
FLAIRS
2000
13 years 10 months ago
2000
Thecurrent frameworkfor constructing intelligent tutoring systems(ITS) is to use psychological/pedagogical theories of learning, and encode this knowledgeinto the tutor. However,t...