7311 search results - page 83 / 1463 » Time in State Machines |
115
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a novel, maximum likelihood framework for automatic spike-sorting based on a joint statistical model of action potential waveform shape and inter-spike interval duratio...
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
103
Voted
SARA
2007
Springer
15 years 10 months ago
2007
Springer
126
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
126
click to vote
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...