1218 search results - page 163 / 244 » The many facets of natural computing |
153
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
165
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
170
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
163
click to vote
EVOW
2007
Springer
16 years 17 days ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
196
click to vote
FROCOS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...