1573 search results - page 197 / 315 » Signs and Formal Concepts |
160
click to vote
FM
2005
Springer
16 years 22 hour 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...
168
click to vote
ICDT
2005
ACM
16 years 12 hour 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...
167
click to vote
ICTAC
2005
Springer
16 years 8 hour 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 ...
139
click to vote
IEAAIE
2005
Springer
16 years 7 hour 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...
171
click to vote
PAKDD
2005
ACM
15 years 12 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 ...