434 search results - page 44 / 87 » Constraint-Based Combinators for Local Search |
139
click to vote
SIGSOFT
2004
ACM
16 years 6 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...
162
click to vote
IJCNN
2007
IEEE
16 years 7 days 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...
152
click to vote
CDC
2009
IEEE
15 years 10 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 ...
163
click to vote
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...
149
click to vote
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...