255 search results - page 10 / 51 » jucs 2006 |
JUCS
2010
14 years 8 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
JUCS
2010
14 years 8 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
JUCS
2010
14 years 8 months ago
2010
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...
JUCS
2010
14 years 8 months ago
2010
: Interval algebra networks are traditionally defined over finite intervals. In this paper, we relax this restriction by allowing one or more of the intervals involved to be infini...
JUCS
2006
14 years 10 months ago
2006
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...