Sciweavers

3891 search results - page 74 / 779
» Toward nature-inspired computing
Sort
View
POPL
2012
ACM
12 years 4 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
COLING
1990
13 years 10 months ago
A Computational Approach to Binding Theory
This paper is a first step towards a computational account of Binding Theory (BT). Two algorithms that compute, respectively, Principle A and B have been provided. Particular atte...
Alessandra Giorgi, Fabio Pianesi, Giorgio Satta
ISCC
2006
IEEE
114views Communications» more  ISCC 2006»
14 years 2 months ago
On Cooperative Inter-Domain Path Computation
Inter-domain path computation, or the ability to compute end-to-end paths across multiple domains, is the next step toward wide deployment of a distributed control plane with supp...
Payam Torab, Bijan Jabbari, Qian Xu, Shujia Gong, ...
WABI
2001
Springer
124views Bioinformatics» more  WABI 2001»
14 years 1 months ago
Computing Linking Numbers of a Filtration
We develop fast algorithms for computing the linking number of a simplicial complex within a filtration. We give experimental results in applying our work toward the detection of...
Herbert Edelsbrunner, Afra Zomorodian
FIMH
2007
Springer
14 years 3 months ago
Can We Trust the Transgenic Mouse? Insights from Computer Simulations
Abstract. Over the past several decades, the mouse has gained prominence in the cardiac electrophysiology literature as the animal model of choice. Using computer models of the mou...
Joseph Tranquillo, Adhira Sunkara