Sciweavers

3706 search results - page 8 / 742
» KtSeqC: System Description
Sort
View
77
Voted
FROCOS
2009
Springer
15 years 4 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
DAC
1999
ACM
15 years 10 months ago
Description and Simulation of Hardware/Software Systems with Java
Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull
QEST
2005
IEEE
15 years 3 months ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo
GECCO
2007
Springer
213views Optimization» more  GECCO 2007»
15 years 3 months ago
Genetically programmed learning classifier system description and results
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
Gregory Anthony Harrison, Eric W. Worden
CADE
2005
Springer
15 years 10 months ago
The OWL Instance Store: System Description
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
Sean Bechhofer, Ian Horrocks, Daniele Turi