2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)最新文献

筛选
英文 中文
Computing Horn Strong Backdoor Sets Thanks to Local Search 计算角强后门集得益于本地搜索
Lionel Paris, R. Ostrowski, P. Siegel, L. Sais
{"title":"Computing Horn Strong Backdoor Sets Thanks to Local Search","authors":"Lionel Paris, R. Ostrowski, P. Siegel, L. Sais","doi":"10.1109/ICTAI.2006.43","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.43","url":null,"abstract":"In this paper, a new approach for computing strong backdoor sets of Boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search techniques for finding an assignment leading to a largest renamable Horn sub-formula of a given CNF. More precisely, at each step, preference is given to variables such that when assigned to the opposite value lead to the smallest number of remaining non-Horn clauses. Consequently, if no positive or non Horn clauses remain in the formula, our approach answer the satisfiability of the original formula; otherwise, a smallest non-Horn sub-formula is used to extract the set of variables (strong backdoor) such that when assigned leads to a tractable sub-formula. Branching on the variables of the strong backdoor set leads to significant improvements of Zchaff SAT solver with respect to many real worlds SAT instances","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132793079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Motif Discovery as a Multiple-Instance Problem 主题发现作为一个多实例问题
Ya Zhang, Yixin Chen, Xiang-Hua Ji
{"title":"Motif Discovery as a Multiple-Instance Problem","authors":"Ya Zhang, Yixin Chen, Xiang-Hua Ji","doi":"10.1109/ICTAI.2006.89","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.89","url":null,"abstract":"Motif discovery from bio sequences, a challenging task both experimentally and computationally, has been a topic of immense study in recent years. In this paper, we formulate the motif discovery problem as a multiple-instance problem and employ a multiple-instance learning method, the MILES method, to identify motif from biological sequences. Each sequence is mapped into a feature space defined by instances in training sequences with a novel instance-bag similarity measure. We employ I-norm SVM to select important features and construct classifiers simultaneously. These high-ranked features correspond to discovered motifs. We apply this method to discover transcriptional factor binding sites in promoters, a typical motif finding problem in biology, and show that the method is at least comparable to existing methods","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129218837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming 基于约束规划的多任务处理器最优基本块指令调度
A. Malik, Jim McInnes, P. V. Beek
{"title":"Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming","authors":"A. Malik, Jim McInnes, P. V. Beek","doi":"10.1142/S0218213008003765","DOIUrl":"https://doi.org/10.1142/S0218213008003765","url":null,"abstract":"Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to find a minimum length schedule for a basic block - a straight-line sequence of code with a single entry point and a single exit point - subject to precedence, latency, and resource constraints. Solving the problem exactly is NP-complete, and heuristic approaches are currently used in most compilers. In contrast, we present a scheduler that finds provably optimal schedules for basic blocks using techniques from constraint programming. In developing our optimal scheduler, the key to scaling up to large, real problems was in the development of preprocessing techniques for improving the constraint model. We experimentally evaluated our optimal scheduler on the SPEC 2000 integer and floating point benchmarks. On this benchmark suite, the optimal scheduler was very robust -all but a handful of the hundreds of thousands of basic blocks in our benchmark suite were solved optimally within a reasonable time limit - and scaled to the largest basic blocks, including basic blocks with up to 2600 instructions. This compares favorably to the best previous exact approaches","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"516 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122219994","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 51
LocalMotif - An In-Silico Tool for Detecting Localized Motifs in Regulatory Sequences LocalMotif -一种检测调控序列中局部基序的芯片工具
V. Narang, W. Sung, A. Mittal
{"title":"LocalMotif - An In-Silico Tool for Detecting Localized Motifs in Regulatory Sequences","authors":"V. Narang, W. Sung, A. Mittal","doi":"10.1109/ICTAI.2006.76","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.76","url":null,"abstract":"In silico motif finding algorithms are often used for discovering protein-DNA binding sites in a set of regulatory sequences. Current algorithms mainly address motif discovery in short sequences. Analyzing long sequences can be quite challenging not only due to increasing time and memory requirements of the algorithm, but also decreasing accuracy. However, in case the motif is localized in a short interval of the long sequences relative to an anchor point, it is tenable to detect it easily by restricting the search to that interval. But the region of localization of the motif is not known a priori. This paper reports an algorithm called LocalMotif to detect localized motifs in long regulatory sequences. A novel score function predicts the region of localization of the motif. This score is combined with other scoring measures including Z-score and relative entropy to detect the motif. The algorithm is optimized for fast processing of long regulatory sequences. Tests on simulated and real datasets confirm that LocalMotif accurately determines the region of localization of motifs and automatically discovers the biologically relevant motifs, which can be detected by other motif finding algorithms only when the search is restricted to the relevant interval","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"291 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115131973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Finding Crucial Subproblems to Focus Global Search 寻找焦点全局搜索的关键子问题
Susan L. Epstein, R. Wallace
{"title":"Finding Crucial Subproblems to Focus Global Search","authors":"Susan L. Epstein, R. Wallace","doi":"10.1109/ICTAI.2006.60","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.60","url":null,"abstract":"Traditional global search heuristics to solve constraint satisfaction problems focus on properties of an individual variable that mandate early search attention. If however, one could predict crucial subproblems (the portions of a constraint satisfaction problem likely to cause each other particular difficulty) in advance, search could address them first. This paper postulates several types of crucial subproblems, and shows how local search can be harnessed to identify them before global search for a solution. A variety of heuristics and metrics are then used to guide traditional constraint heuristics with those crucial subproblems. On certain classes of structured problems, such search outperforms traditional heuristics by at least an order of magnitude in both time and space","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122505720","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Improving the Graph-Based Image Segmentation Method 改进基于图的图像分割方法
Ming Zhang, R. Alhajj
{"title":"Improving the Graph-Based Image Segmentation Method","authors":"Ming Zhang, R. Alhajj","doi":"10.1109/ICTAI.2006.66","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.66","url":null,"abstract":"Sensor devices are widely used for monitoring purposes. Image mining techniques are commonly employed to extract useful knowledge from the image sequences taken by sensor devices. Image segmentation is the first step of image mining. Due to the limited resources of the sensor devices, we need time and space efficient methods of image segmentation. In this paper, we propose an improvement to the graph-based image segmentation method already described in the literature and considered as the most effective method with satisfactory segmentation results. This is the preprocessing step of our online image mining approach. We contribute to the method by re-defining the internal difference used to define the property of the components and the threshold function, which is the key element to determine the size of the components. The conducted experiments demonstrate the efficiency and effectiveness of the adjusted method","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122651738","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
An Evolutionary Computational Method for N-Connection Subgraph Discovery 一种n连接子图发现的进化计算方法
Enhong Chen, Xujia Chen, P. Sheu, T. Qian
{"title":"An Evolutionary Computational Method for N-Connection Subgraph Discovery","authors":"Enhong Chen, Xujia Chen, P. Sheu, T. Qian","doi":"10.1109/ICTAI.2006.32","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.32","url":null,"abstract":"The problem of n-connection subgraph discovery (n-CSDP for short) is to find a small sized subgraph that can well capture the relationship among the n given nodes in a large graph. However there have been very few researches directly addressing the CSDP problem. Furthermore the currently available methods, for example, the electricity analogues based algorithm can only be suitable for tackling the 2-keynodes CSDP and does not work any more when n is greater than two. To deal with this problem, we propose an effective approach to discover the subgraph in two stages. In the first stage, we propose a neighbor-growth based method to extract a relatively bigger candidate subgraph compared with that of result subgraph. In the second stage, an evolutionary algorithm for optimizing the result subgraph is proposed. For this purpose, UTM code, a transformed representation of the adjacent matrix of graphs is designed to encode the topology of subgraph as individuals. Then corresponding evolutionary operators able to be directly performed on UTM code are given. Thus the efficiency of the algorithm is largely improved. The experimental results obtained on two real large scale graphs with different topology characteristics demonstrate that our method solves n-connection subgraph discovery problems effectively","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116854784","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Briefing Tool that Learns Individual Report-Writing Behavior 一个学习个人报告写作行为的简报工具
Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky
{"title":"A Briefing Tool that Learns Individual Report-Writing Behavior","authors":"Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky","doi":"10.1109/ICTAI.2006.7","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.7","url":null,"abstract":"We describe a briefing system that learns to predict the contents of reports generated by users who create periodic (weekly) reports as part of their normal activity. We address the question whether data derived from the implicit supervision provided by end-users is robust enough to support not only model parameter tuning but also a form of feature discovery. The system was evaluated under realistic conditions, by collecting data in a project-based university course where student group leaders were tasked with preparing weekly reports for the benefit of the instructors, using the material from individual student reports","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121729244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm 利用渐进式遗传算法发现基因特异性局部协同调控
Ji Zhang, Q. Gao, Hai H. Wang
{"title":"Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm","authors":"Ji Zhang, Q. Gao, Hai H. Wang","doi":"10.1109/ICTAI.2006.51","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.51","url":null,"abstract":"The problem of gene specific co-regulation discovery is that, for a particular gene of interest, identify its closely coregulated genes and the associated subsets of experimental conditions in which such co-regulations occur. The coregulations are local in the sense that they occur in some subsets of full experimental conditions. In this paper, we propose an innovative method for finding gene specific coregulations using genetic algorithm (GA). Two novel ad hoc GAs, the single-stage and two-stage progressive GA, are proposed. They are called progressive because the initial population for the GA in a window position inherits the top-ranked individuals obtained in the preceding window position, enabling them to achieve better accuracy than the nonprogressive algorithm. Experimental results with real-life gene expression data demonstrate the efficiency and effectiveness of our technique in discovering gene specific coregulations","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"258 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121885032","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Descend-Based Evolutionary Approach to Enhance Position Estimation in Wireless Sensor Networks 一种基于下降的改进无线传感器网络位置估计的进化方法
V. Tam, K. Cheng, K. Lui
{"title":"A Descend-Based Evolutionary Approach to Enhance Position Estimation in Wireless Sensor Networks","authors":"V. Tam, K. Cheng, K. Lui","doi":"10.1109/ICTAI.2006.9","DOIUrl":"https://doi.org/10.1109/ICTAI.2006.9","url":null,"abstract":"Wireless sensor networks have wide applicability to many important applications including environmental monitoring and military applications. Typically with the absolute positions of only a small portion of sensors predetermined, localization works for the precise estimation of the remaining sensor positions on which most location sensitive applications rely. Intrinsically, localization can be formulated as an unconstrained optimization problem based on various distance/path measures, for which most of the existing work focus on increasing its precision through different heuristic or mathematical techniques. In this paper, we propose to adapt an evolutionary approach, namely a micro-genetic algorithm (MGA), and its variant as postoptimizers to enhance the precision of existing localization methods including the Ad-hoc Positioning System. Our adapted MGA and its variants can easily be integrated into different localization methods. Besides, the prototypes of our evolutionary approach gained remarkable results on both uniform and anisotropic topologies of the simulation tests, thus prompting for many interesting directions for future investigation","PeriodicalId":169424,"journal":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128107041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信