3136 search results - page 239 / 628 » Genetic programming theory |
173
click to vote
APIN
1999
15 years 5 months ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
167
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
182
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
123
click to vote
IFIP
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...
171
click to vote
IFIP
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...