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 shap...
详细信息
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.
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;ref...
详细信息
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.
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 ...
详细信息
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 ...
详细信息
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 chos...
详细信息
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 ...
详细信息
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 ve...
详细信息
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.
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 ...
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.
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...
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.
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 th...
详细信息
暂无评论