2543 search results - page 161 / 509 » Optimal Ordered Problem Solver |
100
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The mining of meaningful shapes of time series is done widely in order to find shapes that can be used, for example, in classification problems or in summarizing signals. Nor...
121
click to vote
SLIP
2006
ACM
15 years 9 months ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
125
Voted
ENTCS
2002
15 years 3 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
151
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
135
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...