Search results for "encoding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Gary Lilienfield, John W. Woods	Scalable high-definition video coding.	ICIP	1995	DBLP DOI BibTeX RDF	scalable high-definition video coding, multiresolution viewing, embedded data sets, three-dimensional subband coder, spatio-temporal resolutions, motion-compensated temporal filtering, temporal scalability, optimal encoding, data compression, video coding, motion compensation, image resolution, filtering theory, temporal analysis
19	Izhak Rubin, Kirk K. Chang	Video Quality Control Under Cell-Discarding Algorithms in an ATM Network Supporting Layer-Encoded Video Streams.	ICCCN	1995	DBLP DOI BibTeX RDF	ATM Congestion Control, Layered-Encoding Algorithms, Video Quality Control, ATM Cell-Discarding Algorithms, ATM Networks
18	Hu Chen, Sheng Liu 0001, Shuming Chen	A Novel Highly Scalable Architecture with Partially Distributed Pipeline and Hardware/Software Instruction Encoding.	NAS	2011	DBLP DOI BibTeX RDF	distributed commitment, clustered architecture, distributed execution, instruction encoding
18	Yang Cao, Chung-Horng Lung, Shikharesh Majumdar	An XPath Query Aggregation Algorithm Using a Region Encoding.	SAINT	2011	DBLP DOI BibTeX RDF	content routing, query aggregation, region encoding, publish/subscribe, homomorphism
18	Xiongpai Qin, Huijui Wang, Xiaoyong Du 0001, Shan Wang 0001	Parallel Aggregation Queries over Star Schema: A Hierarchical Encoding Scheme and Efficient Percentile Computing as a Case.	ISPA	2011	DBLP DOI BibTeX RDF	Hierarchical Encoding, Iterative, Percentile
18	Ondrej Lhoták, Stephen Curial, José Nelson Amaral	An Optimal Encoding to Represent a Single Set in an ROBDD.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	set representation, Binary decision diagram, binary encoding
18	Xin He, Jorgen Peddersen, Sri Parameswaran	Improved Architectures for Range Encoding in Packet Classification System.	NCA	2010	DBLP DOI BibTeX RDF	Range Encoding, LOP, Packet Classification
18	Wei Li, Zhen Peng Pang, Zhi Jie Liu	SPIHT Algorithm Combined with Huffman Encoding.	IITSI	2010	DBLP DOI BibTeX RDF	Encoding, DWT, SPIHT, Huffman
18	Mark Z. Mao, Robert M. Gray	Stationary and Trellis Encoding for IID Sources and Simulation.	DCC	2010	DBLP DOI BibTeX RDF	trellis encoding, simulation, source coding, rate-distortion
18	Xiaodan Liu, Ruoxing Luan, Cuicui Huang	A Novel Encoding Method for Visual Two-Dimensional Barcode Using Pattern Substitution.	MVHI	2010	DBLP DOI BibTeX RDF	visual two-dimensional barcode, candidate pattern, pattern substitution, encoding, statistics
18	Guido Moritz, Dirk Timmermann, Regina Stoll, Frank Golatowski	Encoding and Compression for the Devices Profile for Web Services.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Web Services for Devices, Devices Profile for Web Services, Compression, Encoding, SOAP, DPWS
18	Kuang Tsan Lin	Graylevel Images Encrypting Based on the n-Graylevel Encoding Method and the Lowest Common Multiple Technique.	IIH-MSP	2010	DBLP DOI BibTeX RDF	n-graylevel encoding, lowest common multiple, encrypting
18	Hecheng Li, Yuping Wang 0003	A Mixed-Encoding Genetic Algorithm for Nonlinear Bilevel Programming Problems.	NCM	2009	DBLP DOI BibTeX RDF	nonlinear bilevel programming, mixed encoding, genetic algorithm, optimality conditions, optimal solutions
18	Jijie Zheng, Guozheng Wang, Haiyan Wu, Ying Tang	The Implementation of a Wired Call-out System with Quasi-digital Encoding.	NCM	2009	DBLP DOI BibTeX RDF	Quasi-digital encoding, Wired call-out system, Data Communication
18	Jorge F. Salas	A Language for Encoding and Reconstruction of Rewriting Proofs.	SCCC	2009	DBLP DOI BibTeX RDF	Semiautomated theorem proving, encoding languages for proofs, rewriting induction, rewriting systems
18	K. S. Sainarayanan, Chittarsu Raghunandan, M. B. Srinivas	Bus encoding schemes for minimizing delay in VLSI interconnects.	SBCCI	2007	DBLP DOI BibTeX RDF	bus encoding technique, crosstalk class, delay, encoder, decoder, VLSI interconnects
18	Michael Roitzsch	Slice-balancing H.264 video encoding for improved scalability of multicore decoding.	EMSOFT	2007	DBLP DOI BibTeX RDF	scalability, multicore, H.264, slices, video encoding
18	Mingming Zhang, Xiaotao Chang, Ge Zhang 0007	Reducing cache energy consumption by tag encoding in embedded processors.	ISLPED	2007	DBLP DOI BibTeX RDF	tag encoding, cache, low power design, embedded processors
18	Chung-Hsiang Lin, Chia-Lin Yang, Ku-Jei King	Hierarchical value cache encoding for off-chip data bus.	ISLPED	2006	DBLP DOI BibTeX RDF	data bus encoding, hierarchical value cache, energy
18	Henry M. Gladney, Raymond A. Lorie	Trustworthy 100-year digital objects: durable encoding for when it's too late to ask.	ACM Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Long-term digital preservation, encoding
18	Mohsen Saneei, Ali Afzali-Kusha, Zainalabedin Navabi	Sign bit reduction encoding for low power applications.	DAC	2005	DBLP DOI BibTeX RDF	signed multiplier, sing extension, low power, switching activity, bus encoding
18	Giuseppe Boccignone, Mario Ferraro, Terry Caelli	Encoding Visual Information Using Anisotropic Transformations.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	entropy production, feature encoding, Scale space, anisotropic diffusion
18	Francesca Cesarini, Marco Lastri, Simone Marinai, Giovanni Soda	Encoding of Modified X-Y Trees for Document Classification.	ICDAR	2001	DBLP DOI BibTeX RDF	Page classification, Modified X-Y tree, Tree encoding, Digital Library, Artificial Neural Networks
18	Luca G. Tallini, Bella Bose	Balanced Codes with Parallel Encoding and Decoding.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	parallel encoding, VLSI systems, constant weight codes, Balanced codes, parallel decoding
18	Martin Mauve	Transparent Access to and Encoding of VRML State Information.	VRML	1999	DBLP DOI BibTeX RDF	VRML, VRML, persistence, binary encoding
18	Charles D. Creusere	A new approach to global motion compensation which reduces video encoding complexity.	ICIP (3)	1997	DBLP DOI BibTeX RDF	global motion compensation, video encoding complexity, hybrid DPCM-transform method, remote airborne platforms, 3D subband coder, subpixel interpolation, motion compensation, video compression, feedback loop, reconstruction error, residual energy
18	Wenqing Jiang, Antonio Ortega	Forward/Backward Adaptive Context Selection with Applications to Motion Vector Field Encoding.	ICIP (2)	1997	DBLP DOI BibTeX RDF	forward/backward adaptive context selection, motion vector field encoding, low rate video coding, adaptive context modeling, motion data coding, forward adaptation, alphabet partitioning, differential coding, VLC tables, H.263 standard, prediction error coding, image coding, motion compensation, motion compensation, performance improvements, entropy coding, lossless coding, bit rate reduction, residue images
18	Jien-Chung Lo	A Hyper Optimal Encoding Scheme for Self-Checking Circuits.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	logic circuit synthesis, output encoding, Concurrent error detection, self-checking circuits, unordered codes
18	Bjørn Olstad, Anders H. Torp	Encoding of a priori Information in Active Contour Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	grammatical encoding, dynamic programming, Active contours, string matching
18	Andres Albanese, Johannes Blömer, Jeff Edmonds, Michael Luby, Madhu Sudan 0001	Priority Encoding Transmission	FOCS	1994	DBLP DOI BibTeX RDF	lossy packet-based networks, information-theoretic proof, multiple receivers, multimedia, segments, high speed networks, priority encoding transmission
18	M. M. Mirsalehi, Thomas K. Gaylord	Comments on "Direct Implementation of Discrete and Residue-Based Functions Via Optimal Encoding: A Programmable Array Logic Approach".	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	positional coding, Addition and multiplication mod M, complexity of residue addition and multiplication, optimal residue encoding, content-addressable memory
18	Christos A. Papachristou	Direct Implementation of Discrete and Residue-Based Functions Via Optimal Encoding: A Programmable Array Logic Approach.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Addition and multiplication mod M, discrete functions, optimal residue encoding, PLA's, programmable array logic (PAL), residue-based functions, ROM's, VLSI, associative memories
18	Edward Babb	Joined Normal Form: A Storage Encoding for Relational Databases.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	content addressing hardware, implication network, storage encoding tags, network, relational database, queries, mathematical model, updates, functional dependencies, joins, third normal form, CAFS
18	Donald L. Dietmeyer	Generating prime implicants via ternary encoding and decimal arithmetic.	Commun. ACM	1968	DBLP DOI BibTeX RDF	extremal, ternary encoding, minimization, switching function, prime implicants, cubical complexes
16	David B. Knoester, Heather Goldsby, Philip K. McKinley	Neuroevolution of mobile ad hoc networks.	GECCO	2010	DBLP DOI BibTeX RDF	developmental, neural network, distributed systems, mobile ad-hoc networks, generative, neuroevolution
16	Jean-Baptiste Mouret, Stéphane Doncieux, Benoît Girard 0001	Importing the computational neuroscience toolbox into neuro-evolution-application to basal ganglia.	GECCO	2010	DBLP DOI BibTeX RDF	neural networks, evolutionary algorithms, computational neuroscience, basal ganglia, neuro-evolution
16	Teng Nga Sing, Jason Teo, Mohd. Hanafi Ahmad Hijazi	Self-adaptive population sizing for a tune-free differential evolution.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Explicit parameter tuning, Absolute, Differential evolution, Population size, Relative
16	David DeHaan	Equivalence of nested queries with mixed semantics.	PODS	2009	DBLP DOI BibTeX RDF	bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence
16	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
16	Zhe-Ming Lu, Zhen Li	Dynamically restricted codebook-based vector quantisation scheme for mesh geometry compression.	Signal Image Video Process.	2008	DBLP DOI BibTeX RDF	Vertex data compression, Dynamically restricted codebook, Computer graphics, Vector quantisation
16	An-Chao Tsai, Anand Paul 0001, Jia-Ching Wang, Jhing-Fa Wang	Intensity Gradient Technique for Efficient Intra-Prediction in H.264/AVC.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
16	Zhihai He, Wenye Cheng, Xi Chen	Energy Minimization of PortableVideo Communication Devices Based on Power-Rate-Distortion Optimization.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
16	Rui Zhang, Guy Côté	Accurate parameter estimation and efficient fade detection for weighted prediction in H.264 video compression.	ICIP	2008	DBLP DOI BibTeX RDF
16	Ming-Chen Chien, Zong-Yi Chen, Pao-Chi Chang	Coding-gain-based complexity control for H.264 video encoder.	ICIP	2008	DBLP DOI BibTeX RDF
16	Rami S. Youail, Wenqing Cheng, Shaoguo Tao	Cost Minimization for Multi-Source Multi-Sinks Network Coding.	ICYCS	2008	DBLP DOI BibTeX RDF
16	Shen Chih Tung, Alex K. Jones	Physical layer design automation for RFID systems.	IPDPS	2008	DBLP DOI BibTeX RDF
16	Juan Peralta, Germán Gutiérrez, Araceli Sanchis	ADANN: automatic design of artificial neural networks.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary computation, artificial neural networks, time series, forecasting
16	Chia-Nan Yeh, Yen-Tai Lai	A novel flash analog-to-digital converter.	ISCAS	2008	DBLP DOI BibTeX RDF
16	Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Nalini Venkatasubramanian	Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF
16	Bruce S. Spottiswoode, Xiaodong Zhong, Aaron T. Hess, C. M. Kramer, Ernesta M. Meintjes, Bongani M. Mayosi, Frederick H. Epstein	Tracking Myocardial Motion From Cine DENSE Images Using Spatiotemporal Phase Unwrapping and Temporal Fitting.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
16	Chun-Yuan Lin, Yeh-Ching Chung	Data distribution schemes of sparse arrays on distributed memory multicomputers.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Data distribution schemes, Data compression methods, Sparse ratio, Distributed memory multicomputers, Partition methods
16	Yizhen Zhang, Chao Xu 0006, Wentao Wang, Liang-Bin Chen	Performance Analysis and Architecture Design for Parallel EBCOT Encoder of JPEG2000.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
16	Mordecai J. Golin, Jian Li 0015	More Efficient Algorithms and Analyses for Unequal Letter Cost Prefix-Free Coding.	ISAAC	2007	DBLP DOI BibTeX RDF
16	Sébastien Baehni, João Pedro Barreto 0002, Patrick Eugster, Rachid Guerraoui	Efficient distributed subtyping tests.	DEBS	2007	DBLP DOI BibTeX RDF	Java, event, type, subtype, conformance
16	Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.	APLAS	2007	DBLP DOI BibTeX RDF
16	Haruhiko Kaneko, Eiji Fujiwara	Joint Source-Cryptographic-Channel Coding Based on Linear Block Codes.	AAECC	2007	DBLP DOI BibTeX RDF
16	Joseph Reisinger, Risto Miikkulainen	Acquiring evolvability through adaptive representations.	GECCO	2007	DBLP DOI BibTeX RDF	genetic algorithms, neural networks, modularity, coevolution, evolvability, indirect encodings, adaptive representations
16	Hu Chen, Eckehard G. Steinbach	Fast Motion Estimation-Based Reference Frame Generation in Wyner-Ziv Residual Video Coding.	ICME	2007	DBLP DOI BibTeX RDF
16	Jinshu Han	Speeding up Fractal Image Compression Based on Local Extreme Points.	SNPD (3)	2007	DBLP DOI BibTeX RDF
16	João Marques-Silva 0001, Inês Lynce	Towards Robust CNF Encodings of Cardinality Constraints.	CP	2007	DBLP DOI BibTeX RDF
16	Jun-Ki Min, Myung-Jae Park, Chin-Wan Chung	A compressor for effective archiving, retrieval, and updating of XML documents.	ACM Trans. Internet Techn.	2006	DBLP DOI BibTeX RDF	XML, XML, query processing, Compression
16	Yuzo Iano, Fernando Silvestre da Silva, Ana Lúcia Mendes Cruz	A fast and efficient hybrid fractal-wavelet image coder.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
16	Stefan Artmann	Some Problems in Organic Coding Theory.	GTIT-C	2006	DBLP DOI BibTeX RDF
16	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
16	Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa	Encodings and Arithmetic Operations in Membrane Computing.	TAMC	2006	DBLP DOI BibTeX RDF
16	William B. Toms, David A. Edwards, Andrew Bardsley	Synthesising Heterogeneously Encoded Systems.	ASYNC	2006	DBLP DOI BibTeX RDF
16	Hiroki Sugano, Hiroshi Tsutsui, Takahiko Masuzaki, Takao Onoye, Hiroyuki Ochi, Yukihiro Nakamura	Efficient memory architecture for JPEG2000 entropy codec.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Chien-Hung Liu, Yueh-Min Huang, Tzu-Chiang Chiang	A Near-optimal Multicast Scheme for Mobile Ad Hoc Networks Using a Hybrid Genetic Algorithm.	AINA (1)	2006	DBLP DOI BibTeX RDF
16	Rainer Böhme, Andreas Westfeld	Feature-based encoder classification of compressed audio streams.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	MP3 Encoder classification, Naïve bayes classifier, Steganography, Attacks, Steganalysis, Digital forensics
16	Gergely Korodi, Ioan Tabus	An efficient normalized maximum likelihood algorithm for DNA sequence compression.	ACM Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Approximate sequence matching, DNA compression, normalized maximum likelihood model
16	Chih-Chung Cheng, Chung-Chin Lu	Space-time code design for CPFSK modulation over frequency-nonselective fading channels.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
16	Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler	Default Reasoning with Preference Within Only Knowing Logic.	LPNMR	2005	DBLP DOI BibTeX RDF
16	Ebru Celikel, Mehmet Emin Dalkiliç, Gökhan Dalkiliç	Word-Based Fixed and Flexible List Compression.	ISCIS	2005	DBLP DOI BibTeX RDF
16	John W. Byers, Jeffrey Considine, Michael Mitzenmacher, Stanislav Rost	Informed content delivery across adaptive overlay networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	digital fountain, min-wise sketch, peer-to-peer, bloom filter, overlay, erasure code, content delivery, reconciliation
16	B. S. Shivaram, T. B. Rajashekar	Building Indian Language Digital Library Collections: Some Experiences with Greenstone Software.	ICADL	2004	DBLP DOI BibTeX RDF
16	Ali R. Iranpour, Krzysztof Kuchcinski	Evaluation of SIMD Architecture Enhancement in Embedded Processors for MPEG-4.	DSD	2004	DBLP DOI BibTeX RDF
16	Nikos Samaras, Kostas Stergiou 0001	Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation.	SETN	2004	DBLP DOI BibTeX RDF	Search, Constraint Satisfaction, Constraint Programming
16	Tiehan Lv, Jörg Henkel, Haris Lekatsas, Wayne H. Wolf	A dictionary-based en/decoding scheme for low-power data buses.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
16	Yan Ye, Pamela C. Cosman	Fast and memory efficient text image compression with JBIG2.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
16	Sebastiano Battiato, Arcangelo Bruna, Antonio Buemi, Filippo Naccari	Coding techniques for CFA data images.	ICIAP	2003	DBLP DOI BibTeX RDF
16	Byung Cheol Song, Jong Beom Ra	A fast search algorithm for vector quantization using L2-norm pyramid of codewords.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
16	Igor Tatarinov, Stratis Viglas, Kevin S. Beyer, Jayavel Shanmugasundaram, Eugene J. Shekita, Chun Zhang	Storing and querying ordered XML using a relational database system.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	XML, SQL
16	Krista Bennett, Christian Grothoff, Tzvetan Horozov, Ioana Patrascu	Efficient Sharing of Encrypted Data.	ACISP	2002	DBLP DOI BibTeX RDF
16	Unni Narayanan, Ki-Seok Chung, Taewhan Kim	Enhanced bus invert encodings for low-power.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
16	William Fornaciari, M. Polentarutti, Donatella Sciuto, Cristina Silvano	Power optimization of system-level address buses based on software profiling.	CODES	2000	DBLP DOI BibTeX RDF
16	Enric Pastor, Jordi Cortadella, Marco A. Peña	Structural Methods to Improve the Symbolic Analysis of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
16	Ulrich Gräf	Sorted Sliding Window Compression.	Data Compression Conference	1999	DBLP DOI BibTeX RDF
16	Swarup Bhunia, Soumya K. Ghosh 0001, Pramod Kumar, Partha Pratim Das, Jayanta Mukherjee 0001	Design, Simulation and Synthesis of an ASIC for Fractal Image Compression.	VLSI Design	1999	DBLP DOI BibTeX RDF
16	B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai	A State Assignment Scheme Targeting Performance and Area.	VLSI Design	1999	DBLP DOI BibTeX RDF
16	Matthew S. Crouse, Kannan Ramchandran	Joint thresholding and quantizer selection for transform image coding: entropy-constrained analysis and applications to baseline JPEG.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
16	Wolfgang Naraschewski	Towards an Object-Oriented Progification Language.	TPHOLs	1997	DBLP DOI BibTeX RDF
16	Yoram Ofek	A family of conservative codes with block delimiters for decoding without a phase-locked loop.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
16	Jayaram Bhasker, Tariq Samad	Compacting MIMOLA microcode.	MICRO	1987	DBLP DOI BibTeX RDF	clique partitioning, synthesis, compaction, microprogramming
16	Shanq-Jang Ruan, Tsang-Chi Kan, Jih-Chieh Hsu	A novel crosstalk quantitative approach for simultaneously reducing power, noise, and delay based on bus-invert encoding schemes.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	bus-invert, coupling, interconnect delay
16	Yan Chen 0007, Oscar C. Au, Xiaopeng Fan	Simultaneous MAP-Based Video Denoising and Rate-Distortion Optimized Video Encoding.	IEEE Trans. Circuits Syst. Video Technol.	2009	DBLP DOI BibTeX RDF
16	Ikno Kim, Junzo Watada	A Biologically Intelligent Encoding Approach to a Hierarchical Classification of Relational Elements in a Digraph.	KES (2)	2009	DBLP DOI BibTeX RDF
16	Cédric Pralet, Gérard Verfaillie	Slice Encoding for Constraint-Based Planning.	CP	2009	DBLP DOI BibTeX RDF
16	Paolo Baldan, Filippo Bonchi, Fabio Gadducci	Encoding Asynchronous Interactions Using Open Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF	Asynchronous calculi, open Petri nets, decidability, bisimilarity
16	Michael Glaß, Martin Lukasiewycz, Jürgen Teich, Unmesh D. Bordoloi, Samarjit Chakraborty	Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis.	DAC	2009	DBLP DOI BibTeX RDF	design space exploration, timing analysis, automotive
16	Chun-Hung Yeh, Kuan-Hung Cho, Hsuan-Cheng Lin, Jiun-Jie Wang, Ching-Po Lin	Reduced Encoding Diffusion Spectrum Imaging Implemented With a Bi-Gaussian Model.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF