检索结果-内蒙古大学图书馆

Energy Minimization methods in Computer Vision and Pattern Recognition: 6th international conference, EMMCVPR 2007 Proceedings

引用

6th international conference on Energy Minimization methods in Computer Vision and Pattern Recognition, EMMCVPR 2007

ISBN: (纸本)9783540741954

the proceedings contain 37 papers. the topics discussed include: an effective multi-level algorithm based on simulated annealing for bisecting graph;exact solution of permuted submodular MinSum problems;efficient shape matching via graph cuts;simulating classics mosaics with graph cuts;an energy minimisation approach to attributed graph regularisation;a pupil localization algorithm based on adaptive gabor filtering and navigating radial symmetry;decomposing document images by heuristic search;skew detection based on elongate feature;active appearance models fitting with occlusion;combining left and right irises for personal authentication;bottom-up recognition and parsing of the human body;an automatic portrait system based on and-or graph representation;and object category recognition using generative template boosting.

关键词： Energy management

来源：评论

学校读者我要写书评

暂无评论

Electronic Governments: 6th international conference, EGOV 2007 Proceedings

Electronic Governments: 6th International Conference, EGOV 2...

引用

6th international conference on Electronic Government, EGOV 2007

ISBN: (纸本)9783540744436

the proceedings contain 37 papers. the topics discussed include: towards a methodology for designing e-government control procedures;domain specific process modelling in public administrations-the PICTURE-approach;reference models for e-services integration based on life-events;e-government services composition using multi-faceted metadata classification structures;selection of appropriate payment methods for e-government-model and application;inclusion in the e-service society - investigating administrative literacy requirements for using e-services;an ontology for multi-perspective evaluation of quality in e-government services;reaching communication quality in public e-forms - a communicative perspective on e-form design;and a trust-centered approach for building e-voting systems.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Alignment of multiple proteins with an ensemble of hidden Markov models

Alignment of multiple proteins with an ensemble of hidden Ma...

引用

6th international conference on Machine Learning and Applications, ICMLA 2007

作者： Jai, Song Chunmei, Liu Yinglei, Song Junfeng, Qu Hura, Gurdeep S. College of Electrical Engineering Zhejiang University China Department of Systems and Computer Science Howard University Washington DC 20059 United States Department of Mathematics and Computer Science Univ. of MD Eastern Shore Princess Anne MD United States Dept. of Information Technology Clayton State University Morrow GA United States Department of Mathematics and Computer Science University of Maryland Eastern Shore Princess Anne MD 21853 United States

ISBN: (纸本)0769530699

the alignment of multiple protein sequences is a problem of fundamental importance in bioinformatics. In general, the optimal alignment can be obtained through the optimization of an objective function. However, such an optimization task is often computationally intractible, most of the existing alignment tools thus use statistical or machine learning based methods to avoid direct optimizations. In this paper, we develop a new method that can progressively construct and update a set of alignments by adding sequences in certain order to each of the existing alignments. In particular, each of the existing alignments is modeled with a profile hidden markov model (HMM) and an added sequence is aligned to each of these profile HMMs. the profile HMMs in the set are then updated based on the alignments with leading alignment scores. We performed experiments on BaliBASE benchmarks to compare the performance of this new approach with that of other alignment tools. Our experiments showed that, by introducing an integer parameter that controls the number of profile HMMs in the set, we are able to efficiently explore the alignment space and significantly improve the alignment accuracy on sequences with low similarity. © 2007 IEEE.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Encapsulated scalar multiplications and line functions in the computation of tate pairing

Encapsulated scalar multiplications and line functions in th...

引用

4th international conference on theory and Applications of models of Computation, TAMC 2007

作者： Rongquan, Feng Hongfeng, Wu LMAM School of Math. Sciences Peking University Beijing 100871 China

ISBN: (纸本)3540725032

the efficient computation of the Tate pairing is a crucial factor to realize cryptographic applications practically. To compute the Tate pairing, two kinds of costs on the scalar multiplications and Miller's line functions of elliptic curves should be considered. In the present paper, encapsulated scalar multiplications and line functions are discussed. Some simplified formulas and improved algorithms to compute f3T, f4T, f 2T±P,, f6T, f3T±P and f 4T±P etc., are presented from given points T and P on the elliptic curve. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Computational methods

来源：评论

学校读者我要写书评

暂无评论

Transient analysis of a queuing system with matrix-geometric methods

Transient analysis of a queuing system with matrix-geometric...

引用

6th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2006

作者： Vaderna, Peáter Eálteto, Tamaás Traffic Laboratory Ericsson Research Irinyi J. u. 4-20 H-1117 Budapest Hungary

ISBN: (纸本)3540344292

this paper investigates a queuing system with infinite number of servers where the arrival process is given by a Markov Arrival Process (MAP) and the service time follows a Phase-type (PH) distribution. they were chosen since they are simple enough to describe the model by exact methods. Moreover, highly correlated arrival processes and heavy-tailed service time distributions can be approximated by these tools on a wide range of time-scales. the transient behaviour of the system is analysed and the time-dependent moments of the queue length is computed explicitly by solving a set of differential equations. the results can be applied to models where performance of parallel processing is important. the applicability of the model is illustrated by dimensioning a WEB-based content provider. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Queueing networks

来源：评论

学校读者我要写书评

暂无评论

Single-channel mixture decomposition using Bayesian harmonic models

引用

6th international conference on Independent Component Analysis and Blind Signal Separation, ICA 2006

作者： Vincent, Emmanuel Plumbley, Mark D. Electronic Engineering Department Queen Mary University of London Mile End Road London E1 4NS United Kingdom

ISBN: (纸本)3540326308

We consider the source separation problem for single-channel music signals. After a brief review of existing methods, we focus on decomposing a mixture into components made of harmonic sinusoidal partials. We address this problem in the Bayesian framework by building a probabilistic model of the mixture combining generic priors for harmonicity, spectral envelope, note duration and continuity. Experiments suggest that the derived blind decomposition method leads to better separation results than nonnegative matrix factorization for certain mixtures. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Communication channels (information theory)

来源：评论

学校读者我要写书评

暂无评论

Classifying noisy protein sequence data: a case study of immunoglobulin light chains

引用

bioinformatics 2005年第Sup1期21卷 I495-I501页

作者： Yu, CG Zavaljevski, N Stevens, FJ Yackovich, K Reifman, J Argonne Natl Lab Argonne IL 60439 USA Clarion Univ Pennsylvania Dept Comp Informat Sci Clarion PA 16214 USA USA Med Res & Mat Command Ft Detrick MD 21702 USA

the classification of protein sequences obtained from patients with various immunoglobulin-related conformational diseases may provide insight into structural correlates of pathogenicity. However, clinical data are very sparse and, in the case of antibody-related proteins, the collected sequences have large variability with only a small subset of variations relevant to the protein pathogenicity ( function). On this basis, these sequences represent a model system for development of strategies to recognize the small subset of function-determining variations among the much larger number of primary structure diversifications introduced during evolution. Under such conditions, most protein classification algorithms have limited accuracy. To address this problem, we propose a support vector machine (SVM)-based classifier that combines sequence and 3D structural averaging information. Each amino acid in the sequence is represented by a set of six physicochemical properties: hydrophobicity, hydrophilicity, volume, surface area, bulkiness and refractivity. Each position in the sequence is described by the properties of the amino acid at that position and the properties of its neighbors in 3D space or in the sequence. A structure template is selected to determine neighbors in 3D space and a window size is used to determine the neighbors in the sequence. the test data consist of 209 proteins of human antibody immunoglobulin light chains, each represented by aligned sequences of 120 amino acids. the methodology is applied to the classification of protein sequences collected from patients with and without amyloidosis, and indicates that the proposed modified classifiers are more robust to sequence variability than standard SVM classifiers, improving classification error between 5 and 25% and sensitivity between 9 and 17%. the classification results might also suggest possible mechanisms for the propensity of immunoglobulin light chains to amyloid formation.

关键词： algorithms Amino Acids/chemistry Computational Biology/methods Databases, Protein Databases, Protein Humans Imaging, three-Dimensional Immunoglobulin Light Chains/chemistry models, Statistical Pattern Recognition, Automated Protein Conformation Proteins/chemistry ROC Curve Sequence Analysis, Protein/methods

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Formal Engineering methods, ICFEM 2004

引用

6th international conference on Formal Engineering methods, ICFEM 2004

ISBN: (纸本)3540238417

the proceedings contain 39 papers. the special focus in this conference is on Formal methods and Software Engineering. the topics include: Combining engineering approaches and formal techniques;formal engineering for industrial software development;engineering quality software;a CLP approach to modelling systems;multi-prover verification of C programs;memory-model-sensitive data race analysis;formal models for web navigations with session control and browser cache;managing verification activities using SVM;a general model for reachability testing of concurrent programs;a propositional logic-based method for verification of feature models;CSP representation of game semantics for second-order idealized algol;an equational calculus for alloy;software model checking using linear constraints;counterexample guided abstraction refinement via program execution;faster analysis of formal specifications;automatic extraction of object-oriented observer abstractions from unit-test executions;a specification-based approach to testing polymorphic attributes;an approach to preserve protocol consistency and executability across updates;a formal monitoring-based framework for software development and analysis;verifying the on-line help system of SIEMENS magnetic resonance tomographs;implementing dynamic aggregations of abstract machines in the B method;interactive verification of UML state machines;refinement of actions for real-time concurrent systems with causal ambiguity;from durational specifications to TLA designs of timed automata and TCOZ to timed automata.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Flexible Query Answering Systems, FQAS 2004

6th International Conference on Flexible Query Answering Sys...

引用

6th international conference on Flexible Query Answering Systems, FQAS 2004

ISBN: (纸本)3540221603

the proceedings contain 38 papers. the special focus in this conference is on Development of Query Systems that are more Expressive, Informative, Cooperative, Productive, and Intuitive to Use. the topics include: Meme media architecture for the reediting and redistribution of web resources;a flexible access control model for web services;active xml and active query answers;towards flexible querying of xml imprecise data in a dataware house opened on the web;fuzzy closeness relation as a basis for weakening fuzzy relational queries;querying data sources in a superpeer data management system;logic-based integration of query answering and knowledge discovery;discovering representative models in large time series databases;a new approach for mining association rules in data warehouses;query rewriting in itemset mining;query answering based on collaboration and chase;construction of query concepts in a document space based on data mining techniques;towards formal ontologies requirements with multiple perspectives;a unifying framework for flexible information access in taxonomy-based sources;interactive schema integration with sphinx;on querying ontologies and databases;on the discovery of the semantic context of queries by game-playing;information retrieval system for medical narrative reports;combining knowledge-based methods to refine and expand queries in medicine;a flexible data processing technique for a tele-assistance system of elderly people;semantic web services discovery regarded as a constraint satisfaction problem;similarity-based query caching and access to multigranular temporal objects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Continuous naive bayesian classifications 6

引用

6th international conference on Asian Digital Libraries, ICADL 2003

作者： Vinsensius Berlian Vega, S.N. Bressan, Stéphane Department of Computer Science National University of Singapore 3 Science Drive 117543 Singapore

ISBN: (纸本)9783540206088

the most common model of machine learning algorithms involves two life-stages, namely the learning stage and the application stage. the cost of human expertise makes difficult the labeling of large sets of data for the training of machine learning algorithms. In this paper, we propose to challenge this strict dichotomy in the life cycle while addressing the issue of labeling of data. We discuss a learning paradigm called Continuous Learning. After an initial training based on human-labeled data, a Continuously Learning algorithm iteratively trains itself with the result of its own previous application stage and without the privilege of any external feedback. the intuitive motivation and idea of this paradigm are elucidated, followed by explanations on how it differs from other learning models. Finally, empirical evaluation of Continuous Learning applied to the Naive Bayesian Classifier for the classification of newsgroup articles of a well-known benchmark is presented. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：