1573 search results - page 197 / 315 » Signs and Formal Concepts |
105
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
116
click to vote
ICDT
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
102
Voted
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
89
Voted
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
115
click to vote
PAKDD
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...