the proceedings contain 25 papers. the special focus in this conference is on Traffic engineering for the internet, P2P and multimedia, Advanced applications for next generation networks, Future internet architectures...
ISBN:
(纸本)3642036996
the proceedings contain 25 papers. the special focus in this conference is on Traffic engineering for the internet, P2P and multimedia, Advanced applications for next generation networks, Future internet architectures and models, Pervasive wireless networks and protocols and Traffic analysis. the topics include: Quantifying the uncertainty in measurements for MBAC;ring flushing for reduced overload in spanning tree protocol controlled Ethernet networks;a distributed exact solution to compute inter-domain multi-constrained paths;classification of P2P and HTTP using specific protocol characteristics;network awareness in P2P-TV applications;enhancing progressive encryption for scalable video streams;characterizing user groups in online social networks;route prediction on tracking data to location-based services;context aware programmable trackers for the next generation internet;a simple and extensible information model for the future internet;on designing for tussle;a new internet topology generator;resource allocation in MIMO-OFDMA wireless systems based on linearly precoded orthogonal space-time block codes;on the influence of packet scheduling on the Trade-Off between system spectral efficiency and user fairness in OFDMA-Based networks;rssi-based forwarding for multihop wireless sensor networks;a pipelined IP address lookup module for 100 Gbps line rates and beyond;comparative study of multicast protection algorithms using shared links in 100GET transport network;implementation and evaluation of the enhanced header compression (IPHC) for 6LoWPAN;consistency analysis of network traffic repositories and detecting spam at the network level.
the proceedings contain 154 papers. the topics discussed include: human body parts tracking using pictorial structures and a genetic algorithm;from analysis of human-human phone calls to intelligent user interfaces;pa...
ISBN:
(纸本)9781424417391
the proceedings contain 154 papers. the topics discussed include: human body parts tracking using pictorial structures and a genetic algorithm;from analysis of human-human phone calls to intelligent user interfaces;parallel processing of cooperative genetic algorithm for nurse scheduling;real-coded genetic algorithms and nonlinear parameter identification;a personalized music recommendation system with a time-weighted clustering;a methodological approach ball bearing damage prediction under fretting wear conditions;a concept for ant-routing with colored pheromones in wireless mesh networks;an extension of the relational model to intuitionistic fuzzy data quality attribute model;adaptive fuzzy clustering for improving classification performance in yeast data set;a hybrid method using PSO and NHL algorithms to train fuzzy cognitive maps;and granular computing for intelligent social network modeling and cooperative decisions.
Double patterning technology is capable of extending usability of immersion ArF systems for 32nm half-pitch node and below. However, overlay errors between the two patterning steps will directly contribute to critical...
详细信息
ISBN:
(纸本)9780819479099
Double patterning technology is capable of extending usability of immersion ArF systems for 32nm half-pitch node and below. However, overlay errors between the two patterning steps will directly contribute to critical dimension variation in a dual litho-etch process. the overlay errors need to be reduced significantly to meet the tight critical dimension uniformity requirement in the technology nodes. the present scanners are able to correct intra- and inter-field overlay errors that include not only linear terms but also certain higher-order terms. As a result, a 3nm overlay requirement for DPT becomes feasible by applying the most advanced correction schemes. Overlay modeling with a larger number of sample fields will give a more accurate estimate of the model parameters and will therefore improve the overlay corrections;however, metrology time will increase simultaneously. To balance the correction accuracy and metrology time, the number of fields and its layout on the wafer must be optimized. this also applies to wafer alignment, one of the other factors that determine the overlay performance. A bad alignment sampling scheme will cause a poor overlay performance in the end. Increasing the number of sample fields can improve the alignment performance but wafer throughput will be impacted immediately. Performance of the intra-field correction is dependent on number and distribution of the markers within an exposure field. Correction per field, for instance, is one of the most effective correction schemes. However, it needs to measure extra markers in each field for overlay modeling especially when including high-order terms. To limit the chip area occupied by the markers and the metrology time, it is necessary to well control the number of the markers. Moreover, accuracy of the overlay models is sensitive to layout of the markers. the overlay marker layout hence needs to be optimized to gain a robust correction with a minimum number of markers. In this paper, firs
the proceedings contain 19 papers. the topics discussed include: some recent results in metric temporal logic;comparing the expressiveness of timed automata and timed extensions of Petri Nets;infinite runs in weighted...
ISBN:
(纸本)354085777X
the proceedings contain 19 papers. the topics discussed include: some recent results in metric temporal logic;comparing the expressiveness of timed automata and timed extensions of Petri Nets;infinite runs in weighted timed automata with energy constraints;concavely-priced timed automata;average-price and reachability-price games on hybrid automata with strong resets;complexity of metric temporal logics with counting and the Pnueli Modalities;on scheduling policies for streams of structured jobs;a framework for distributing real-time functions;formal modeling and scheduling of datapaths of digital document printers;model checking HML on piecewise-constant inhomogeneous Markov chains;compositional abstraction in real-time model checking;on conformance testing for timed systems;and parametric model-checking of time Petri Nets with stopwatches using the state-class graph.
the proceedings contain 46 papers. the topics discussed include: extreme computing on the distributed European infrastructure for supercomputing applications - DEISA;towards networked computers: what can be learned fr...
ISBN:
(纸本)354089893X
the proceedings contain 46 papers. the topics discussed include: extreme computing on the distributed European infrastructure for supercomputing applications - DEISA;towards networked computers: what can be learned from distributed computing;computational environments for coupling multiphase flow, transport, and mechanics in porous media;the excitement in parallel computing;improving performance of digest caches in network processors;optimization of BLAS on the cell processor;fine tuning matrix multiplications on multicore;the design and architecture of MAQAOAdvisor: a live tuning guide;a load balancing framework for clustered storage systems;construction and evaluation of coordinated performance skeletons;data sharing analysis of emerging parallel media mining;efficient PDM sorting algorithms;accelerating cone beam reconstruction using the CUDA-enabled GPU;and improving the performance of tensor matrix vector multiplication in cumulative reaction probability based quantum chemistry codes.
the proceedings contain 39 papers. the topics discussed include: visualization and interaction with synoptics;generating SVG weather maps and meteorological graphs using Magics++;offline SQLite SVG database applicatio...
the proceedings contain 39 papers. the topics discussed include: visualization and interaction with synoptics;generating SVG weather maps and meteorological graphs using Magics++;offline SQLite SVG database applications with Firefox;SVG and the preservation of vector images;real time monitor in SVG, a use case in machining technology HMI;putting PPT slides in your pocket;evaluating the quality of multiple-choice tests with automatically generated visualizations;the lively kernel application framework;developing mobile AJAX style solutions using SVG;building an SVG interface to MediaWiki;the edges of plausibility;SVG, layered user interfaces and end to end models;achieving 3D effects with SVG;SVG for automotive user interfaces;high performance GML to SVG transformation for the visual presentation of geographic data in web-based mapping systems;reporting with XSL-FO, SVG and Apache FOP;and a novel SVG application in UML system modelling.
the proceedings contain 23 papers. the topics discussed include: communicative rationality, logic, and mathematics;acquiring generalized domain-range restrictions;a formal context for symmetric dependencies;the number...
详细信息
ISBN:
(纸本)3540781366
the proceedings contain 23 papers. the topics discussed include: communicative rationality, logic, and mathematics;acquiring generalized domain-range restrictions;a formal context for symmetric dependencies;the number of plane diagrams of a lattice;about keys of formal context and conformal hypergraph;an algebraization of linear continuum structures;on the complexity of computing generators of closed sets;on the merge of factor canonical bases;lattices of rough set abstraction as P-products;scale coarsening as feature selection;formal concept analysis for the identification of combinatorial biomarkers in breast cancer;handling spatial relations in logical concept analysis to explore geographical data;analysis of social communities with iceberg and stability-based concept lattices;and formal concept analysis enhances fault localization in software.
the proceedings contain 53 papers. the topics discussed include: visual search in static and dynamic scenes using fine-grain top-down visual attention;integration of visual and shape attributes for object action compl...
详细信息
ISBN:
(纸本)3540795464
the proceedings contain 53 papers. the topics discussed include: visual search in static and dynamic scenes using fine-grain top-down visual attention;integration of visual and shape attributes for object action complexes;3D action recognition and long-term prediction of human motion;tracking of human hands and faces through probabilistic fusion of multiple visual cues;enhancing robustness of a saliency-based attention system for driver assistance;convert attention with a spiking neural network;region of interest generation in dynamic environments using local entropy fields;feature extraction and classification by genetic programming;attention modulation using short- and long-term knowledge;an on-line interactive self-adaptive image classification framework;and a system for geometrically constrained single view reconstruction.
the proceedings contain 56 papers. the topics discussed include: starting directions for personalized e-learning;plant: a distributed architecture for personalized e-learning;a pedagogy-driven personalization framewor...
详细信息
ISBN:
(纸本)3540781382
the proceedings contain 56 papers. the topics discussed include: starting directions for personalized e-learning;plant: a distributed architecture for personalized e-learning;a pedagogy-driven personalization framework to support automatic construction of adaptive learning experiences;authoring learning objects for Web-based intelligent tutoring systems;the ELEKTRA ontology model: a learner-centered approach to resource description;towards Fuzzy domain ontology based concept map generation for e-learning;a context-based framework and method for learning object description and search;an informatic model for open contents management;and addressing context-awareness and standards interoperability in e-learning: a service-oriented framework based on IRS III.
the proceedings contain 117 papers. the topics discussed include: input signals normalization in Kohonen neural networks;parallel realization of the recurrent RTRN neural network learning;stable learning algorithm of ...
详细信息
ISBN:
(纸本)3540695729
the proceedings contain 117 papers. the topics discussed include: input signals normalization in Kohonen neural networks;parallel realization of the recurrent RTRN neural network learning;stable learning algorithm of global neural network for identification of dynamic complex systems;the influence of training data availability time on effectiveness of ANN adaptation process;fast and robust way of learning the Fourier series neural networks on the basis of multidimensional discrete Fourier transform;accuracy improvement of neural network state variable estimator in induction motor drive;ensemble of dipolar neural networks in application to survival data;efficient predictive control integrated with economic optimization based on neural models;neural network in fast adaptive Fourier descriptor based leaves classification;and some issues on intrusion detection in web applications.
暂无评论