3619 search results - page 513 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
143
Voted
ADG
2006
Springer
15 years 7 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
158
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose an algorithm for extracting fields from HTML search results. The output of the algorithm is a database table– a data structure that better lends itself to high-level...
118
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
114
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Web Services are increasingly being used to create a wide range of distributed systems, many of which involve legacy software. Developing service interfaces for these legacy syste...
142
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...