Suchergebnisse - Artificial Intelligence Constraint Programming String Solving

Itemset mining: A constraint programming perspective von 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 …”
Volltext

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

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

Twin Support Vector Machines for Pattern Classification von 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 …”
Volltext

A Simple Algorithm for Solving for the Generalized Longest Common Subsequence (LCS) Problem with a Substring Exclusion Constraint von 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 …”
Volltext

Soft Margin Multiple Kernel Learning von 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 …”
Volltext

Watermill: An Optimized Fingerprinting System for Databases under Constraints von 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 …”
Volltext

A One-Layer Recurrent Neural Network With a Discontinuous Hard-Limiting Activation Function for Quadratic Programming von 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 …”
Volltext

Efficient Dual Approach to Distance Metric Learning von 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 …”
Volltext

Novel Maximum-Margin Training Algorithms for Supervised Neural Networks von 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 …”
Volltext

New one-versus-all ν-SVM solving intra–inter class imbalance with extended manifold regularization and localized relative maximum margin von 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 …”
Volltext

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

Volltext

Bounded Strings for Constraint Programming von 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 …”
Volltext

BILGO: Bilateral greedy optimization for large scale semidefinite programming von 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 …”
Volltext

A fast iterative single data approach to training unconstrained least squares support vector machines von 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 …”
Volltext

Adaptation in Dynamic Environments: A Case Study in Mission Planning von 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 …”
Volltext

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I von 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, …”
Volltext

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II von 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, …”
Volltext

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis von 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 …”
Volltext

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

“… A recurrent neural network solving the approximate nonnegative matrix factorization (NMF …”
Volltext

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 von 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 …”
Volltext