Výsledky vyhľadávania - Artificial Intelligence Constraint Programming String Solving

Itemset mining: A constraint programming perspective Autor 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…”
Získať plný text

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

“… Stand-alone string constraint solving tools, called decision procedures, have been the focus of recent research in this area…”
Získať plný text

Twin Support Vector Machines for Pattern Classification Autor 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…”
Získať plný text

A Simple Algorithm for Solving for the Generalized Longest Common Subsequence (LCS) Problem with a Substring Exclusion Constraint Autor 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…”
Získať plný text

Soft Margin Multiple Kernel Learning Autor 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…”
Získať plný text

Watermill: An Optimized Fingerprinting System for Databases under Constraints Autor 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…”
Získať plný text

A One-Layer Recurrent Neural Network With a Discontinuous Hard-Limiting Activation Function for Quadratic Programming Autor 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…”
Získať plný text

Efficient Dual Approach to Distance Metric Learning Autor 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…”
Získať plný text

Novel Maximum-Margin Training Algorithms for Supervised Neural Networks Autor 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…”
Získať plný text

New one-versus-all ν-SVM solving intra–inter class imbalance with extended manifold regularization and localized relative maximum margin Autor 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…”
Získať plný text

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

Získať plný text

Bounded Strings for Constraint Programming Autor 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…”
Získať plný text

BILGO: Bilateral greedy optimization for large scale semidefinite programming Autor 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…”
Získať plný text

A fast iterative single data approach to training unconstrained least squares support vector machines Autor 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…”
Získať plný text

Adaptation in Dynamic Environments: A Case Study in Mission Planning Autor 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…”
Získať plný text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis Autor 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…”
Získať plný text

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

“…A recurrent neural network solving the approximate nonnegative matrix factorization (NMF…”
Získať plný text

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 Autor 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…”
Získať plný text

Binary Grey Wolf Optimizer for large scale unit commitment problem Autor 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…”
Získať plný text

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I Autor 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,…”
Získať plný text