Sciweavers

4067 search results - page 96 / 814
» Programs for Applying Symmetries
Sort
View
ILP
1998
Springer
14 years 9 days ago
Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
Marcel Turcotte, Stephen Muggleton, Michael J. E. ...
APSCC
2006
IEEE
13 years 11 months ago
GridPPI: A Lightweight Grid-Enabled Parallel Programming Framework
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
Sikan Chen, Minglu Li, Feng He
BIRTHDAY
2010
Springer
13 years 9 months ago
Counterexample Guided Path Reduction for Static Program Analysis
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
Ansgar Fehnker, Ralf Huuck, Sean Seefried
BIRTHDAY
2010
Springer
13 years 9 months ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
David Harel, Amir Kantor, Shahar Maoz
ICIC
2009
Springer
13 years 5 months ago
Inference of Differential Equation Models by Multi Expression Programming for Gene Regulatory Networks
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
Bin Yang, Yuehui Chen, Qingfang Meng