434 search results - page 44 / 87 » Constraint-Based Combinators for Local Search |
118
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
142
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Efficient Training in a neural network plays a vital role in deciding the network architecture and the accuracy of these classifiers. Most popular local training algorithms t...
136
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
149
Voted
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
Wedge shaped defects of the retinal nerve fiber layer (RNFL) may occur in glaucoma. Currently, automatic detection of wedge shaped defects in Scanning Laser Polarimetry images of t...
133
Voted
SIGPRO
2008
15 years 5 months ago
2008
Multiwindow Gabor representations highlight fingerprints suitable for indexing of macromolecules, based on their local periodic structures. This paper presents a technique for ana...