2944 search results - page 553 / 589 » On Well Quasi-orders on Languages |
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
MICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
AMR
2007
Springer
14 years 2 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...