12272 search results - page 73 / 2455 » Experimental program analysis |
108
click to vote
FGCN
2008
IEEE
15 years 7 months ago
2008
IEEE
When recording extracellular neural activity, it is often necessary to distinguish action potentials arising from distinct cells near the electrode tip, a process commonly referre...
92
Voted
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
94
Voted
RSS
2007
15 years 2 months ago
2007
— A simple approach for mobile robots to exploit multipath fading in order to improve received radio signal strength (RSS), is presented. The strategy is to sample the RSS at dis...
81
Voted
HEURISTICS
2002
15 years 15 days ago
2002
A GRASP (greedy randomized adaptive search procedure) is a multi-start metaheuristic for combinatorial optimization. We study the probability distributions of solution time to a su...
92
Voted
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...