Sciweavers

4716 search results - page 240 / 944
» Tangible functional programming
Sort
View
PAKDD
2007
ACM
203views Data Mining» more  PAKDD 2007»
16 years 17 days ago
Grammar Guided Genetic Programming for Flexible Neural Trees Optimization
Abstract. In our previous studies, Genetic Programming (GP), Probabilistic Incremental Program Evolution (PIPE) and Ant Programming (AP) have been used to optimal design of Flexibl...
Peng Wu, Yuehui Chen
QSIC
2006
IEEE
16 years 14 days ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
ERLANG
2004
ACM
15 years 12 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
180
Voted
PASTE
2004
ACM
15 years 12 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
LPNMR
2009
Springer
15 years 11 months ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer