3424 search results - page 358 / 685 » Automated Testing of Classes |
187
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
180
click to vote
ACSC
2006
IEEE
16 years 22 days ago
2006
IEEE
Plagiarism is a widespread problem in assessment tasks; in computing courses, students often plagiarise source code. For all but the smallest classes, manual detection of such pla...
203
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
159
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
182
click to vote
SCAM
2005
IEEE
16 years 7 days ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...