959 search results - page 123 / 192 » On the implementation of automatic differentiation tools |
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
134
click to vote
IJISEC
2006
15 years 3 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...
154
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
148
click to vote
AAI
2005
15 years 3 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
120
Voted
COLING
2002
15 years 3 months ago
2002
In this paper we propose an integrated knowledge management system in which terminology-based knowledge acquisition, knowledge integration, and XML-based knowledge retrieval are c...