1361 search results - page 12 / 273 » Boolean Comparison by Simulation |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Recent advances in the technology of wireless electronic devices have made possible to build ad–hoc Wireless Sensor Networks (WSNs) using inexpensive nodes consisting ...
DAC
1999
ACM
14 years 6 days ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
FOGA
1990
13 years 9 months ago
1990
This paper describes the recently developed genetic programming paradigm which genetically breeds populations of computer programs to solve problems. In genetic programming, the i...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
A fundamental difficulty faced by cooperative multiagent systems is to find how to efficiently coordinate agents. There are three fundamental processes to solve the coordination pr...