2638 search results - page 251 / 528 » A Framework for Automatic Debugging |
166
click to vote
MKM
2004
Springer
16 years 13 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
165
click to vote
SEKE
2004
Springer
16 years 13 days ago
2004
Springer
This paper describes the software infrastructure introduced within the AgentService framework in order to provide support for ontology design, development, and management. Ontolog...
177
Voted
CVPR
2003
IEEE
16 years 11 days ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
194
click to vote
ICDAR
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
199
click to vote
CP
2003
Springer
16 years 9 days ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...