5159 search results - page 243 / 1032 » Structural Testing of Executables |
204
click to vote
IJMSO
2007
15 years 7 months ago
2007
: Digital libraries are invaluable repositories of information. However, in many situations, their size makes it difficult to access the desired resource. In this paper, we present...
169
Voted
NPL
2000
15 years 6 months ago
2000
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
204
click to vote
BMVC
2010
15 years 5 months ago
2010
This paper deals with the problem of estimating structure of 3D scenes and image transformations from observations that are blurred due to unconstrained camera motion. Initially, ...
170
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
187
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Conditional log-linear models are a commonly used method for structured prediction. Efficient learning of parameters in these models is therefore an important problem. This paper ...