Sciweavers

3844 search results - page 622 / 769
» Modular interpreted systems
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 6 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
ARTMED
2006
75views more  ARTMED 2006»
15 years 6 months ago
Semi-automatic learning of simple diagnostic scores utilizing complexity measures
Objective: Knowledge acquisition and maintenance in medical domains with a large application domain ontology is a difficult task. To reduce knowledge elicitation costs, semiautoma...
Martin Atzmüller, Joachim Baumeister, Frank P...
BMCBI
2006
105views more  BMCBI 2006»
15 years 6 months ago
Integrative investigation of metabolic and transcriptomic data
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
Pinar Pir, Betül Kirdar, Andrew Hayes, Z. Ils...
JCP
2008
104views more  JCP 2008»
15 years 6 months ago
Process Planning Knowledge Discovery Based on CAPP Database for Mechanical Manufacturing Enterprise
Knowledge discovery in database have been attracting a significant amount of research, industry attention in recent years. Process planning knowledge (PPK) is one of the most impor...
Xiaoliang Jia, Zhenming Zhang, Xitian Tian
JAIR
2006
110views more  JAIR 2006»
15 years 6 months ago
Modelling Mixed Discrete-Continuous Domains for Planning
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
Maria Fox, Derek Long