5671 search results - page 963 / 1135 » A Semantic Approach to Interpolation |
173
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
220
click to vote
ECMDAFA
2005
Springer
16 years 3 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
166
click to vote
SIGSOFT
2004
ACM
16 years 5 hour ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
185
click to vote
ECWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
178
click to vote
INFOVIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Data sets with a large number of nominal variables, some with high cardinality, are becoming increasingly common and need to be explored. Unfortunately, most existing visual explo...