1686 search results - page 242 / 338 » Programs as polygraphs: computability and complexity |
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
151
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...
166
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
164
click to vote
CCS
2007
ACM
16 years 12 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
210
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...