1929 search results - page 100 / 386 » Change Propagation Analysis Using Domain Information |
145
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
126
Voted
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...
131
Voted
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
142
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
134
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...