| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Georges K. Saharidis, Marianthi G. Ierapetritou |
Resolution method for mixed integer bi-level linear problems based on decomposition technique.  |
J. Global Optimization  |
2009 |
DBLP DOI BibTeX RDF |
Bi-level optimization, Active constraints, Mixed integer linear programming, Benders decomposition |
| 2 | Magdy T. Hanna |
On the Angular Decomposition Technique for Computing the Discrete Fractional Fourier Transform.  |
ISCAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Toru Akishita, Masanobu Katagi, Izuru Kitamura |
SPA-Resistant Scalar Multiplication on Hyperelliptic Curve Cryptosystems Combining Divisor Decomposition Technique and Joint Regular Form.  |
CHES  |
2006 |
DBLP DOI BibTeX RDF |
theta divisor, signed binary representation, scalar multiplication, simple power analysis, hyperelliptic curve cryptosystems |
| 2 | Peyman Arian, Tapio Saramäki, Adly T. Fam |
A decomposition technique for cascaded IIR-like filter blocks generating linear-phase FIR filters.  |
ISCAS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Serafini, Luca Zanni, Gaetano Zanghirati |
Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines.  |
PVM/MPI  |
2005 |
DBLP DOI BibTeX RDF |
gradient projection methods, Support vector machines, parallel computation, quadratic programs, decomposition techniques |
| 2 | Yong Chen, Kwok-Ping Chan |
Mining circumstance-oriented association rules using singular value decomposition technique.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Yudi Purwantoro, Stuart Bennett |
Decomposition Technique for Integrated Dependability Evaluation of Hardware-Software Systems Using Stochastic Activity Networks.  |
EUROMICRO  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Robert Burnett |
A Trade-off Method between Cost and Reliability. (PDF / PS)  |
SCCC  |
1997 |
DBLP DOI BibTeX RDF |
cost/reliability trade-off method, software module development cost estimation, target reliability level, modular software system design phase, operational reliability, software testing phase, fault estimation, project management, software reliability, requirement specification, subroutines, decomposition technique, historical data |
| 2 | J. van Spaandonk, Tom A. M. Kevenaar |
Iterative test-point selection for analog circuits.  |
VTS  |
1996 |
DBLP DOI BibTeX RDF |
iterative test-point selection, analog ICs, random measurement errors, VLSI, integrated circuit testing, iterative methods, functional testing, iterative algorithm, analogue integrated circuits, measurement errors, decomposition technique |
| 2 | Phyllis Crandall, Michael J. Quinn |
Non-uniform 2-D grid partitioning for heterogeneous parallel architectures. (PDF / PS)  |
IPPS  |
1995 |
DBLP DOI BibTeX RDF |
nonuniform 2D grid partitioning, heterogeneous parallel architectures, uniform computational requirements, block decomposition method, Fair Binary Recursive Decomposition, performance level, performance evaluation, parallel architectures, decomposition technique |
| 2 | Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva |
Approximate Throughput Computation of Stochastic Marked Graphs.  |
IEEE Trans. Software Eng.  |
1994 |
DBLP DOI BibTeX RDF |
approximate throughput computation, stochastic marked graphs, stochastic strongly connected marked graphs, net decomposition, single input-single output cut, qualitative behavior, general decomposition technique, iterative response time approximation method, intractable systems, stochastic Petri net models, performance evaluation, Petri nets, error, stochastic processes, state space, iterative technique |
| 2 | Wesley W. Chu, Chi-Man Sit, Kin K. Leung |
Task Response Time For Real-Time Distributed Systems With Resource Contentions.  |
IEEE Trans. Software Eng.  |
1991 |
DBLP DOI BibTeX RDF |
task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems |
| 2 | Brigitte Plateau, Karim Atif |
Stochastic Automata Network For Modeling Parallel Systems.  |
IEEE Trans. Software Eng.  |
1991 |
DBLP DOI BibTeX RDF |
parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost |
| 1 | Stephen Cauley, Venkataramanan Balakrishnan, Gerhard Klimeck, Cheng-Kok Koh |
A two-dimensional domain decomposition technique for the simulation of quantum-scale devices.  |
J. Comput. Physics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-feng Niu, Fang-Ming Shao |
A practical bounding algorithm for computing two-terminal reliability based on decomposition technique.  |
Computers & Mathematics with Applications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Breuß, Emiliano Cristiani, Pascal Gwosdek, Oliver Vogel |
An adaptive domain-decomposition technique for parallelization of the fast marching method.  |
Applied Mathematics and Computation  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Horner, Irene Casas, Joni A. Downs |
Exploration of a polygon decomposition technique based on the ordinary Voronoi diagram.  |
Annals of GIS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. N. M. Rezaul Karim, Thwarique |
Face Recognition Using Matrix Decomposition Technique Eigenvectors and SVD.  |
Int. J. Adv. Comp. Techn.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Johannes Schneider, Roger Wattenhofer |
Brief announcement: efficient graph algorithms without synchronization.  |
PODC  |
2010 |
DBLP DOI BibTeX RDF |
parallel algorithms, coloring, dominating sets, concurrent data structures |
| 1 | Chi-Bin Cheng, Keng-Pin Wang |
Solving a vehicle routing problem with time windows by a decomposition technique and a genetic algorithm.  |
Expert Syst. Appl.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoi Chan, Thomas Kwok |
A Policy-Based Sensor Selection System with Goal Oriented Singular Value Decomposition Technique.  |
POLICY  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chia-Chang Hu, Jian-Fong Chang |
DS-UWB forward link adaptive chip-equalizer using subband decomposition technique.  |
PIMRC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | He Peng, Chung-Kuan Cheng |
Parallel transistor level circuit simulation using domain decomposition methods.  |
ASP-DAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
Timing-driven N-way decomposition.  |
ACM Great Lakes Symposium on VLSI  |
2009 |
DBLP DOI BibTeX RDF |
logic design, decomposition, timing optimization |
| 1 | Taehoon Kim, Sungwoo Tak |
A real-time hardware-software codesign technique of network protocols to provide QoS.  |
ICHIT  |
2009 |
DBLP DOI BibTeX RDF |
QoS communications architecture, real-time scheduling, network protocols, hardware-software codesign |
| 1 | Yu Jin, Esam Sharafuddin, Zhi-Li Zhang |
Unveiling core network-wide communication patterns through application traffic activity graph decomposition.  |
SIGMETRICS/Performance  |
2009 |
DBLP DOI BibTeX RDF |
application classification, traffic graph, anomaly detection, graph decomposition, nonnegative matrix factorization |
| 1 | Yi-Ren Yeh, Su-Yun Huang, Yuh-Jye Lee |
Nonlinear Dimension Reduction with Kernel Sliced Inverse Regression.  |
IEEE Trans. Knowl. Data Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin |
Scalable Load Balancing in Nurse to Patient Assignment Problems.  |
CPAIOR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiya Shi, Yue-Fei Guo |
Nonlinear Component Analysis for Large-Scale Data Set Using Fixed-Point Algorithm.  |
ISNN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Damaschke |
Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms.  |
IWPEC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nibaldo Rodríguez, Orlando Duran, Broderick Crawford |
Multiscale Functional Autoregressive Model for Monthly Sardines Catches Forecasting.  |
MICAI  |
2009 |
DBLP DOI BibTeX RDF |
forecasting, wavelet decomposition, autoregression |
| 1 | Artem Polyvyanyy, Luciano García-Bañuelos, Mathias Weske |
Unveiling Hidden Unstructured Regions in Process Models.  |
OTM Conferences  |
2009 |
DBLP DOI BibTeX RDF |
Process structure tree, process model analysis, process model correctness, process model transformation |
| 1 | Sergei Kireev |
A Parallel 3D Code for Simulation of Self-gravitating Gas-Dust Systems.  |
PaCT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Vasile, Marco Locatelli |
A hybrid multiagent approach for global trajectory optimization.  |
J. Global Optimization  |
2009 |
DBLP DOI BibTeX RDF |
Space trajectory design, Global optimization, Domain decomposition, Agent-based approach |
| 1 | Simão Paredes, Teresa Rocha, Paulo Carvalho, Jorge Henriques |
Atrial Activity Detection through a Sparse Decomposition Technique.  |
BMEI  |
2008 |
DBLP DOI BibTeX RDF |
Sparse Decomposition, Orthogonal Matching Pursuit, Atrial Fibrillation |
| 1 | Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel |
A Decomposition Technique for Max-CSP.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoi Chan, Tieu Chieu, Thomas Kwok |
Autonomic Ranking and Selection of Web Services by Using Single Value Decomposition Technique.  |
ICWS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dustin J. Nowak, Gary B. Lamont, Gilbert L. Peterson |
Emergent architecture in self organized swarm systems for military applications.  |
GECCO (Companion)  |
2008 |
DBLP DOI BibTeX RDF |
agents, self-organization, swarm intelligence, autonomous |
| 1 | Ju Qian, Baowen Xu |
Scenario oriented program slicing.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
scenario, decomposition, program understanding, program slicing |
| 1 | Ju Qian, Baowen Xu |
Program slicing under UML scenario models.  |
SIGPLAN Notices  |
2008 |
DBLP DOI BibTeX RDF |
UML, scenario, program understanding, program slicing |
| 1 | Andrew Brzezinski, Eytan Modiano |
Achieving 100% throughput in reconfigurable optical networks.  |
IEEE/ACM Trans. Netw.  |
2008 |
DBLP DOI BibTeX RDF |
Birkhoff-von Neumann (BvN), WDM reconfiguration, performance evaluation, queueing network, wavelength division multiplexing (WDM), matrix decomposition, IP-over-WDM, input-queueing |
| 1 | Paolo Massioni, Michel Verhaegen |
Distributed control of vehicle formations: A decomposition approach.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuji Wakasa, Mizue Arakawa, Kanya Tanaka, Takuya Akashi |
Decentralized model predictive control via dual decomposition.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaojiang Fu |
Parallel Computing for Finite Element Structural Analysis on Workstation Cluster.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Wang, Jinfang Sheng |
Extending FCD Process to Support COTS Selection.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marllene Daneti |
A practical preprocessing treatment for pipeline leak locating improving.  |
ETFA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Nagahara, Yutaka Yamamoto |
Hybrid design of filtered-x adaptive algorithm via sampled-data control theory.  |
ICASSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chin Keong Ho, Rui Zhang 0006, Ying-Chang Liang |
Two-Way Relaying over OFDM: Optimized Tone Permutation and Power Allocation.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-On Pun, Kyeong Jin Kim, H. Vincent Poor |
Opportunistic Scheduling and Beamforming for MIMO-OFDMA Downlink Systems with Reduced Feedback.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunna Tian, Guoliang Fan, Xinbo Gao |
Multi-view face recognition by nonlinear tensor decomposition.  |
ICPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gardar Hauksson, Murat Alanyali |
Wireless Medium Access via Adaptive Backoff: Delay and Loss Minimization.  |
INFOCOM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimson Mathew, Hafizur Rahaman, Ashutosh Kumar Singh, Abusaleh M. Jabir, Dhiraj K. Pradhan |
A Galois Field Based Logic Synthesis Approach with Testability.  |
VLSI Design  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanzhang Xiao, Shidong Zhou |
Downlink Linear Max-MSE Transceiver Design for Multiuser MIMO Systems Via Dual Decomposition.  |
VTC Spring  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Liu, Kanru Xu, Pan Zhou, Yi Ding, Wenqing Cheng |
A Joint Utility-Lifetime Optimization Algorithm for Cooperative MIMO Sensor Networks.  |
WCNC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengnian Long, Bo Li, Qian Zhang, Bin Zhao, Bo Yang, Xinping Guan |
The end-to-end rate control in multiple-hop wireless networks: Cross-layer formulation and optimal allocation.  |
IEEE Journal on Selected Areas in Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fürer, Shiva Prasad Kasiviswanathan |
Approximately Counting Embeddings into Random Graphs.  |
APPROX-RANDOM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeo Abe |
Batch Support Vector Training Based on Exact Incremental Training.  |
ICANN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adil Deniz Duru, Ahmet Ademoglu |
Source Localization of Subtopographies Decomposed by Radial Basis Functions.  |
MIAR  |
2008 |
DBLP DOI BibTeX RDF |
Subtopography, radial basis function, source localization |
| 1 | Johannes Fürnkranz, Eyke Hüllermeier, Eneldo Loza Mencía, Klaus Brinker |
Multilabel classification via calibrated label ranking.  |
Machine Learning  |
2008 |
DBLP DOI BibTeX RDF |
Ranking, Multi-label classification, Preference learning |
| 1 | Mohammad Faizal Ahmad Fauzi, Paul H. Lewis |
A multiscale approach to texture-based image retrieval.  |
Pattern Anal. Appl.  |
2008 |
DBLP DOI BibTeX RDF |
Discrete wavelet frames, Multiscale image matching, Content-based image retrieval, Texture analysis |
| 1 | Péter Balázs |
A decomposition technique for reconstructing discrete sets from four projections.  |
Image Vision Comput.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuheng Xu, Xiaodan Zhang, Xiaohua Hu |
Using Two-Stage Concept-Based Singular Value Decomposition Technique as a Query Expansion Strategy.  |
AINA Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maya Daneva, Mohamad Kassab, María Laura Ponisio, Roel Wieringa, Olga Ormandjieva |
Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements.  |
WER  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Goran Konjevod, Andréa W. Richa, Donglin Xia |
Optimal scale-free compact routing schemes in networks of low doubling dimension.  |
SODA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lianzhang Zhu, Yanchen Li |
Reliability Analysis of Component Software Based on Stochastic Petri Nets.  |
ACIS-ICIS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Vasile |
A behavioral-based meta-heuristic for robust global trajectory optimization.  |
IEEE Congress on Evolutionary Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Awan, Lin Guan, Xin Gang Wang |
Analysis of Discrete Time Queueing Networks under Buffer Threshold Scheme.  |
ICCCN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Byounghoon Kim, Kyung-Hoon Jung, E. K. Park, Sungwoo Tak |
Efficient Real-Time Support for Hybrid Tasks in a Sensor Node Platform.  |
ICCCN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoni Morell, Gonzalo Seco-Granados, Maria Angeles Vázquez-Castro |
Computationally Efficient Cross-Layer Algorithm for Fair Dynamic Bandwidth Allocation.  |
ICCCN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Song, Soon Cheol Park |
An Efficient Method of Genetic Algorithm for Text Clustering Based on Singular Value Decomposition.  |
CIT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandipan Dey, Ajith Abraham, Sugata Sanyal |
An LSB Data Hiding Technique Using Prime Numbers.  |
IAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gao Daqi, Zhang Tao |
Support vector machine classifiers using RBF kernels with clustering-based centers and widths.  |
IJCNN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ege Engin, Krishna Bharath, Madhavan Swaminathan |
Analysis for Signal and Power Integrity Using the Multilayered Finite Difference Method.  |
ISCAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoji Zhu, Ajoy Opal |
Per-Element Decompostion in Distortion Analysis.  |
ISCAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Amihood, Elias Masry, Laurence B. Milstein, John G. Proakis |
Performance Analysis of a Pre-BLAST-DFE Technique for MISO Channels With Decentralized Receivers.  |
IEEE Transactions on Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | C. J. Perez-Jimenez, J. Campos, M. Silva |
Approximate Throughput Computation of Stochastic Weighted T-Systems.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Holobar, Damjan Zazula |
Multichannel Blind Source Separation Using Convolution Kernel Compensation.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Fengzhan Tian, QiLiang Zhu |
Bayesian Network Structure Ensemble Learning.  |
ADMA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran El-Yaniv, Dmitry Pechyony |
Transductive Rademacher Complexity and Its Applications.  |
COLT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Gavoille, Arnaud Labourel |
Shorter Implicit Representation for Planar Graphs and Bounded Treewidth Graphs.  |
ESA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyung-Hoon Jung, Byounghoon Kim, Chang Soo Kim, Sungwoo Tak |
A Feasible Approach to Assigning System Components to Hybrid Task Sets in Real-Time Sensor Networking Platforms.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
Networking Platform, Communication Software Architecture, Real-Time Scheduling |
| 1 | Changjun Hu, Jilin Zhang, Jue Wang, Jianjiang Li |
OpenMP Implementation of Parallel Linear Solver for Reservoir Simulation.  |
IWOMP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianxia Gong, Ruizhe Liu, Chew Lim Tan, Neda Farzad, Cheng Kiang Lee, Boon Chuan Pang, Qi Tian, Suisheng Tang, Zhuo Zhang |
Classification of CT Brain Images of Head Trauma.  |
PRIB  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jen-Chun Lee, Ping S. Huang, Te-Ming Tu, Chien-Ping Chang |
Recognizing Human Iris by Modified Empirical Mode Decomposition.  |
PSIVT  |
2007 |
DBLP DOI BibTeX RDF |
Empirical Mode Decomposition (EMD), multi-resolution decomposition, Biometrics, iris recognition |
| 1 | Chia Huey Ooi, Madhu Chetty, Shyh Wei Teng |
Differential prioritization in feature selection and classifier aggregation for multiclass microarray datasets.  |
Data Min. Knowl. Discov.  |
2007 |
DBLP DOI BibTeX RDF |
Tissue classification, Classifier aggregation, Feature selection, Microarray data analysis, Multiclass classification |
| 1 | Shieh-Shing Lin, Huay Chang |
A Decomposition-Technique-Based Algorithm for Nonlinear Large Scale Mesh-Interconnected System and Application.  |
IEICE Transactions  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoi Chan, Thomas Kwok |
A Policy-based Management System with Automatic Policy Selection and Creation Capabilities by Using a Singular Value Decomposition Technique.  |
POLICY  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoi Chan, Thomas Kwok |
An Autonomic Problem Determination and Remediation Agent for Ambiguous Situations Based on Singular Value Decomposition Technique.  |
IAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Ming Tsu, W. S. Hsieh |
Quadtree based perceptual watermarking scheme.  |
ASIACCS  |
2006 |
DBLP DOI BibTeX RDF |
MND, combinational watermarking, human visual system, quadtree decomposition |
| 1 | Ling Huang, Minos N. Garofalakis, Joseph M. Hellerstein, Anthony D. Joseph, Nina Taft |
Toward sophisticated detection with distributed triggers.  |
MineNet  |
2006 |
DBLP DOI BibTeX RDF |
distributed triggers, PCA, anomaly detection |
| 1 | Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río |
A monadic program slicer.  |
SIGPLAN Notices  |
2006 |
DBLP DOI BibTeX RDF |
modular monadic semantics, program slicer, monad, monad transformer |
| 1 | Alexandre A. Trichtchenko, David H. Boteler, Aidan Foss |
GIC Modelling for an Overdetermined System.  |
CCECE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Osama S. Youness, Wail Elkilani, Waiel F. Abd El-Wahed, Fawzy A. Torkey |
A Robust Methodology for Performance Evaluation of Communication Networks Protocols.  |
CNSR  |
2006 |
DBLP DOI BibTeX RDF |
Performance evaluation, Network protocols, Stochastic Petri nets, Decomposition techniques |
| 1 | Zhiwei Zhu, Qiang Ji |
Robust Real-Time Face Pose and Facial Expression Recovery.  |
CVPR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Király, Lap Chi Lau |
Approximate Min-Max Theorems of Steiner Rooted-Orientations of Hypergraphs.  |
FOCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jen-Chun Lee, Ping S. Huang, Chung-Shi Chiang, Te-Ming Tu, Chien-Ping Chang |
An Empirical Mode Decomposition Approach for Iris Recognition.  |
ICIP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan-Ullah Awan, Asfand-E. Yar, Michael E. Woodward |
Analysis of Queuing Networks with Blocking under Active Queue Management Scheme.  |
ICPADS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Yang, Yongsheng Gao |
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition.  |
ICPR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepali Koppad, Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev |
Online Testing by Protocol Decomposition.  |
IOLTS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lirkov, Svetozar Margenov, Marcin Paprzycki |
Benchmarking Performance of an MPI-based Solver for 3D Elasticity Problems.  |
John Vincent Atanasoff Symposium  |
2006 |
DBLP DOI BibTeX RDF |
|