Search Results - Artificial Intelligence Constraint Programming String Solving

Itemset mining: A constraint programming perspective by Guns, Tias, Nijssen, Siegfried, De Raedt, Luc

“… The approach taken in the field of data mining contrasts with the constraint programming principles developed within the artificial intelligence community…”
Get full text

StrSolve: solving string constraints lazily by Hooimeijer, Pieter, Weimer, Westley

“… Stand-alone string constraint solving tools, called decision procedures, have been the focus of recent research in this area…”
Get full text

Twin Support Vector Machines for Pattern Classification by Jayadeva, Khemchandani, R., Chandra, S.

“…We propose twin SVM, a binary SVM classifier that determines two nonparallel planes by solving two related SVM-type problems, each of which is smaller than in a conventional SVM…”
Get full text

A Simple Algorithm for Solving for the Generalized Longest Common Subsequence (LCS) Problem with a Substring Exclusion Constraint by Zhu, Daxin, Wang, Xiaodong

“…) problem, a generalized LCS problem. For the two input sequences, X and Y , of lengths n andmand a constraint string, P, of length r, the goal is to find the longest common subsequence, Z, of X and Y that excludes P as a substring…”
Get full text

Soft Margin Multiple Kernel Learning by Xinxing Xu, Tsang, I. W., Dong Xu

“… Specifically, we introduce an additional slack variable called kernel slack variable to each quadratic constraint of MKL, which corresponds to one support vector machine model using a single base kernel…”
Get full text

Watermill: An Optimized Fingerprinting System for Databases under Constraints by Lafaye, J., Gross-Amblard, D., Constantin, C., Guerrouani, M.

“… We show two watermarking strategies: an exhaustive one based on integer linear programming constraint solving and a scalable pairing heuristic…”
Get full text

A One-Layer Recurrent Neural Network With a Discontinuous Hard-Limiting Activation Function for Quadratic Programming by Liu, Q, Wang, J

“… This neural network is capable of solving a large class of quadratic programming problems. The state variables of the neural network are proven to be globally stable…”
Get full text

Efficient Dual Approach to Distance Metric Learning by Chunhua Shen, Junae Kim, Fayao Liu, Lei Wang, van den Hengel, Anton

“… Quadratic Mahalanobis metric learning is a popular approach to the problem, but typically requires solving a semidefinite programming (SDP…”
Get full text

Novel Maximum-Margin Training Algorithms for Supervised Neural Networks by Ludwig, Oswaldo, Nunes, Urbano

“…This paper proposes three novel training methods, two of them based on the backpropagation approach and a third one based on information theory for multilayer…”
Get full text

New one-versus-all ν-SVM solving intra–inter class imbalance with extended manifold regularization and localized relative maximum margin by Wang, Xuchu, Niu, Yanmin

“… It aims to minimize the scatter of nearby intra-class point pairs while penalize that of nearby inter-class point pairs not being arbitrarily large through the constraints of marginal separation…”
Get full text

Time-series anomaly detection using dynamic programming based longest common subsequence on sensor data by Nguyen, Thi Phuong Quyen, Phuc, Phan Nguyen Ky, Yang, Chao-Lung, Sutrisno, Hendri, Luong, Bao-Han, Le, Thi Huynh Anh, Nguyen, Thanh Tung

Get full text

Bounded Strings for Constraint Programming by Scott, Joseph D., Flener, Pierre, Pearson, Justin

“… We provide a theoretical groundwork for constraint solving on this domain and describe propagation techniques for several common constraints…”
Get full text

BILGO: Bilateral greedy optimization for large scale semidefinite programming by Hao, Zhifeng, Yuan, Ganzhao, Ghanem, Bernard

“… To enable the application of these tasks on a large-scale, scalability and computational efficiency are considered as desirable properties for a practical semidefinite programming algorithm…”
Get full text

A fast iterative single data approach to training unconstrained least squares support vector machines by Li, Bing, Song, Shiji, Li, Kang

“…Least squares support vector machines (LS-SVMs) express the training in terms of solving a system of linear equations or an equivalent quadratic program (QP…”
Get full text

Adaptation in Dynamic Environments: A Case Study in Mission Planning by Bui, L. T., Michalewicz, Z., Parkinson, E., Abello, M. B.

“… For example, some tasks might be delayed and/or executed earlier. Some operational constraints can be introduced due to new regulations or business rules…”
Get full text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis by Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“… Constraints over these expressions are generated from the analysis of different paths through the program…”
Get full text

Recurrent neural network for approximate nonnegative matrix factorization by Costantini, Giovanni, Perfetti, Renzo, Todisco, Massimiliano

“…A recurrent neural network solving the approximate nonnegative matrix factorization (NMF…”
Get full text

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 by Bruynooghe, Maurice, Blockeel, Hendrik, Bogaerts, Bart, Broes De Cat, De Pooter, Stef, Jansen, Joachim, Labarre, Anthony, Ramon, Jan, Denecker, Marc, Verwer, Sicco

“… These research areas have recently shown a strong interest in declarative modeling and constraint solving as opposed to algorithmic approaches…”
Get full text

Binary Grey Wolf Optimizer for large scale unit commitment problem by Panwar, Lokesh Kumar, Reddy K, Srikanth, Verma, Ashu, Panigrahi, B.K., Kumar, Rajesh

“… The binarization of GWO is owing to the UC problem characteristic binary/discrete search space. The binary string representation of BGWO is analogous to the commitment and de-committed status of thermal units constrained by minimum up/down times…”
Get full text

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I by Shoham, Sharon, Vizel, Yakir

“…This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification,…”
Get full text