FAC
2008
14 years 5 days ago
2008
Abstract. Bisimulations are well
AUTOMATICA
2006
14 years 5 days ago
2006
: In this paper, a new concept of invariance for saturated linear systems is presented. This new notion of invariance, denoted SNS-invariance, has a number of geometrical propertie...
APIN
2006
14 years 5 days ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
ENTCS
2008
14 years 5 days ago
2008
HYPE is a process algebra developed to model hybrid systems
ENTCS
2008
14 years 5 days ago
2008
Length-two string rewriting systems are length preserving string rewriting systems that consist of length-two rules. This paper shows that both of termination and confluence for l...
AICOM
2006
14 years 5 days ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
ACS
2006
14 years 5 days ago
2006
cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006
AAI
2006
14 years 5 days ago
2006
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
CORR
2008
Springer
14 years 6 days ago
2008
Springer
Knowledge organization systems (KOS), like thesauri and other controlled vocabularies, are used to provide subject access to information systems across the web. Due to the heterog...
CORR
2008
Springer
14 years 6 days ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...