2444 search results - page 405 / 489 » Feature Construction for Back-Propagation |
167
click to vote
WCET
2010
15 years 2 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
142
click to vote
CP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
153
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
Nearest Neighbor (NN) retrieval is a crucial tool of many computer vision tasks. Since the brute-force naive search is too time consuming for most applications, several tailored d...
109
click to vote
ICONIP
2009
15 years 2 months ago
2009
Formation Micro Imager (FMI) can directly reflect changes of wall stratum and rock structures. It is also an important method to divide stratum and identify lithology. However, peo...
168
Voted
IEEEICCI
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-In this paper, we construct a neural-inspired computational model based on the representational capabilities of receptive fields. The proposed model, known as Shape Encodi...