4617 search results - page 354 / 924 » Automation of Diagrammatic Reasoning |
200
click to vote
PPSWR
2005
Springer
16 years 5 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
153
click to vote
POLICY
2007
Springer
16 years 24 days ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
209
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...
183
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
218
click to vote
AADEBUG
2005
Springer
16 years 7 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...