265 search results - page 29 / 53 » Domain Semantics for Agent-Oriented Programming |
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
DEXA
2000
Springer
14 years 2 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
MM
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
ASWEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...