3342 search results - page 370 / 669 » Automating Abstract Interpretation |
144
click to vote
PPSWR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
130
click to vote
RWEB
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
129
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
109
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
110
click to vote
IDEAL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One of the objectives of intelligent data engineering and automated learning is to develop algorithms that learn the environment, generate rules, and take possible course...