4323 search results - page 389 / 865 » Callback Implementations in C |
143
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
113
click to vote
FGCS
2006
15 years 6 months ago
2006
6 Dedicated library support for mesh-level geometry components, central to numerical PDE solution, is scarce. We claim that the situation is due to the inadequacy of traditional de...
155
click to vote
CGA
2007
15 years 6 months ago
2007
— Laplacian instability is the physical mechanism that drives pattern formation in many disparate natural phenomena. However, current algorithms for simulating this instability a...
154
click to vote
IVC
2008
15 years 6 months ago
2008
This paper presents computer vision techniques for forest fire perception involving measurement of forest fire properties (fire front, flame height, flame inclination angle, fire ...
153
click to vote
IJON
2006
15 years 6 months ago
2006
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...