4573 search results - page 771 / 915 » Automated Reasoning |
116
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
SAMT
2007
Springer
15 years 9 months ago
2007
Springer
— Annotation of multimedia content with metadata is regarded as a key issue for efficiently handling such content. MPEG-7 is a major standard that has been developed for this rea...
139
Voted
ACSC
2006
IEEE
15 years 9 months 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...
121
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
106
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...