Search results for "standard"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Marc Joye, Hung-Mei Lin	On the TYS Signature Scheme.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	TYS signature scheme, Camenisch-Lysyanskaya signature scheme, Cryptography, digital signature, standard model
12	Lun Li, Mitchell A. Thornton, David W. Matula	A digit serial algorithm for the integer power operation.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	power operation, standard cell implementation, exponential, discrete log
12	Luciano Volcan Agostini, Roger Endrigo Carvalho Porto, Sergio Bampi, Leandro Rosa, José Luís Güntzel, Ivan Saraiva Silva	High throughput architecture for H.264/AVC forward transforms block.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	2-D FDCT, 2-D hadamard, H.264/AVC forward transforms, H.264/AVC standard, VLSI architecture, system prototyping
12	Fangguo Zhang, Xiaofeng Chen 0001, Willy Susilo, Yi Mu 0001	A New Signature Scheme Without Random Oracles from Bilinear Pairings.	VIETCRYPT	2006	DBLP DOI BibTeX RDF	Bilinear pairings, Standard model, Random oracle, Short signature
12	Philippe d'Anfray, Franck Simon	RENATER dark fibre project architecture.	HPDC	2006	DBLP DOI BibTeX RDF	Grid5000 architecture, RENATER standard, dark fibre project architecture, network resource requirements, DEISA architecture, LHC architecture
12	Zhenyu Wu, Hongyang Yu, Bin Tang, Hong Hu	Performance Evaluation of Transcoding Algorithms for MPEG-2 to AVS-P2.	IIH-MSP	2006	DBLP DOI BibTeX RDF	AVS-P2(Audio Video Standard Part2: video), re-quantization, IT(integer transform), IIT(inverse integer transform), IDCT(inverse DCT), transcoding, MPEG-2
12	Hend S. Al-Khalifa, Hugh C. Davis	The evolution of metadata from standards to semantics in E-learning applications.	Hypertext	2006	DBLP DOI BibTeX RDF	standard metadata, E-learning, semantic metadata
12	Michael J. Pratt, Junhwan Kim	Experience in the exchange of procedural shape models using ISO 10303 (STEP).	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	construction history, product data exchange, standard, design intent
12	Diana Arellano Távara, Andreas Meier 0008	Agents with Personality for Videogames.	AMDO	2006	DBLP DOI BibTeX RDF	motivational state, inter-active narrative, Unreal, agents, artificial intelligence, personality, standard, emotion, map, fuzzy set, memory, event, behavior, actor, action, goal, fuzzy rules, attitude, mood
12	Han Oh, Yo-Sung Ho	H.264-Based Depth Map Sequence Coding Using Motion Information of Corresponding Texture Video.	PSIVT	2006	DBLP DOI BibTeX RDF	Three-dimensional television, depth-image-based rendering, depth map sequence coding, H.264/AVC video coding standard
12	Chien-Min Ou, Huang-Chun Roan, Wen-Jyi Hwang	Fractional Full-Search Motion Estimation VLSI Architecture for H.264/AVC.	PSIVT	2006	DBLP DOI BibTeX RDF	Fractional motion estimation, H.264 standard, Video coding, VLSI architecture
12	Ray Yeager	Criminal computer forensics management.	InfoSecCD	2006	DBLP DOI BibTeX RDF	criminal computer forensics, criminal computer forensics management, forensic evidence, standard operating procedures, quality assurance
12	D. Barros Júnior, Marcial Jesús Rodríguez-Irago, Marcelino B. Santos, Isabel C. Teixeira, Fabian Vargas 0001, João Paulo Teixeira 0001	Fault Modeling and Simulation of Power Supply Voltage Transients in Digital Systems on a Chip.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	intermittent faults modeling and simulation, digital SoC, EMI/EMC standard compliance, delay fault simulation, power supply voltage transients, fault tolerance
12	René Alt, Jean Luc Lamotte, Svetoslav Markov	Numerical Study of Algebraic Solutions to Linear Problems Involving Stochastic Parameters.	LSSC	2005	DBLP DOI BibTeX RDF	stochastic numbers, stochastic arithmetic, s-space, stochastic linear system, standard deviations
12	Alistair Barros, Marlon Dumas, Phillipa Oaks	Standards for Web Service Choreography and Orchestration: Status and Perspectives.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF	web service, standard, web service composition
12	Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
12	Mat Hans, April Slayden, Mark Smith, Banny Banerjee, Arvind Gupta	DJammer: a new digital, mobile, virtual, personal musical instrument.	ICME	2005	DBLP DOI BibTeX RDF	portable music player, mobile virtual DJammer, digital personal musical instrument, standard DJ technique, virtual jam session, music stream, single-handed music manipulation, interactive process
12	Lukasz Blaszak, Marek Domanski	A simple technique for SNR-scalable video coding using macroblock spiral re-ordering.	ICME	2005	DBLP DOI BibTeX RDF	SNR-scalable video coding, scalable representation, spatial-temporal resolution, enhancement layer, stream partitioning, encoded macroblock, video quality perception, standard bitstream syntax
12	Hoi-Ming Wong, Oscar C. Au, Chi-Wang Ho, Shu-Kei Yip	Enhanced predictive motion vector field adaptive search technique (E-PMVFAST)-based on future MV prediction.	ICME	2005	DBLP DOI BibTeX RDF	adaptive search technique, modern video coding standard, E-PMVFAST, enhanced predictive motion vector field, motion estimation
12	Hidetomo Sakaino	The photodynamic tool: generation of animation from a single texture image.	ICME	2005	DBLP DOI BibTeX RDF	unique interface, photodynamic tool, PDT, animation editing method, standard warping method, advection equation, velocity vector, quasilinear motion, image texture, linear equation, Navier-Stokes equation
12	Stephan Kopf, Thomas Haenselmann, Wolfgang Effelsberg	Enhancing curvature scale space features for robust shape classification.	ICME	2005	DBLP DOI BibTeX RDF	automatic character recognition, curvature scale space feature, MPEG-7 standard, concave-convex segmentation, image enhancement, CSS, shape classification
12	Dongming Zhang, Yanfei Shen, Shouxun Lin, Yongdong Zhang 0001	Fast inter frame encoding based on modes pre-decision in H.264.	ICME	2005	DBLP DOI BibTeX RDF	variant test sequence, interframe encoding, tree-structured block partitioning, predecision modes, computational complexity, motion estimation, H.264, video coding standard
12	Wen Wu, Datong Chen, Jie Yang 0001	Integrating co-training and recognition for text detection.	ICME	2005	DBLP DOI BibTeX RDF	standard text detection dataset, semisupervised learning tool, augmented data, modified cotraining scheme, authority knowledge, unlabeled image patch, classifier prediction, weighted combination, text recognition
12	Maurizio Mancini, Björn Hartmann, Catherine Pelachaud, Amaryllis Raouzaiou, Kostas Karpouzis	Expressive avatars in MPEG-4.	ICME	2005	DBLP DOI BibTeX RDF	Whissels emotion representation, avatar expression, man-machine interaction system, multimodal information, artificial intelligence community, GretaEngine, computer vision, MPEG-4 standard, MMI
12	Yue Yang, Baoxin Li	Non-linear image enhancement for digital TV applications using Gabor filters.	ICME	2005	DBLP DOI BibTeX RDF	high-definition image, nonlinear image enhancement, digital TV application, contrast sensitivity function, visual quality perception, standard definition source, Gabor filter, human visual system
12	David G. Chinnery, Kurt Keutzer	Closing the power gap between ASIC and custom: an ASIC perspective.	DAC	2005	DBLP DOI BibTeX RDF	power, energy, custom, ASIC, comparison, standard cell
12	Peter Apostoli, Akira Kanda, Lech Polkowski	First Steps Towards Computably-Infinite Information Systems.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	effective domain theory, exact sets, Frege sets, graded indiscernibility, infinite information systems, Myhill-Sheperdson Theorem, non–standard analysis, numeration theory, SFP objects, rough sets, modal logic, domain theory
12	Yi Zhang, Zhiting Zhu, Xiaoyong Hu, Qing Li	Specification for Service Quality Management System of e-Learning.	ICWL	2004	DBLP DOI BibTeX RDF	e-Learning, Standard, Service quality, Quality Management
12	Natarajan Viswanathan, Chris C. N. Chu	FastPlace: efficient analytical placement using cell shifting, iterative local refinement and a hybrid net model.	ISPD	2004	DBLP DOI BibTeX RDF	net models, analytical placement, standard cell placement
12	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
12	Adam L. Young, Moti Yung	A Key Recovery System as Secure as Factoring.	CT-RSA	2004	DBLP DOI BibTeX RDF	Rabin, Blum integer, pseudosquare, PKCS #1, standard compatibility, RSA, public key cryptography, zero-knowledge, chosen ciphertext security, key recovery, semantic Security, quadratic residue
12	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
12	Daniel A. Griffith	Using Estimated Missing Spatial Data with the 2-Median Model.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	spatial imputation, spatial mean, standard distance, two-median facility location-allocation, spatial autocorrelation, spatial statistics
12	Mohamed Nour, Samir I. Shaheen, Ghada F. El-Kabbany, Nadia Hegazy	Proposal of an Analytical Solution for the Load Imbalance Problem in Parallel Systems.	ISPDC	2003	DBLP DOI BibTeX RDF	Standard Task Graphs and Analytical Modeling, Message Passing Systems, Load Distribution, Rescheduling
12	Goce Jakimoski, Yvo Desmedt	Related-Key Differential Cryptanalysis of 192-bit Key AES Variants.	Selected Areas in Cryptography	2003	DBLP DOI BibTeX RDF	related keys, Markov ciphers, Advanced Encryption Standard, Differential cryptanalysis
12	Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock	A comparative study of language support for generic programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
12	Kimmo U. Järvinen, Matti Tommiska, Jorma Skyttä	A fully pipelined memoryless 17.8 Gbps AES-128 encryptor.	FPGA	2003	DBLP DOI BibTeX RDF	FPGA, pipelining, advanced encryption standard (AES)
12	Noha Kafafi, Kimberly A. Bozman, Steven J. E. Wilton	Architectures and algorithms for synthesizable embedded programmable logic cores.	FPGA	2003	DBLP DOI BibTeX RDF	programmable logic cores, FPGA, standard cells, system-on-chip design
12	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
12	Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sloan	Examining Smart-Card Security under the Threat of Power Analysis Attacks.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	security, Cryptography, smart card, data encryption standard (DES), power analysis attack, implementation attack
12	Luis Díaz de Cerio, Miguel Valero-García, Antonio González 0001	Hypercube Algorithms on Mesh Connected Multicomputers.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	mesh interconnected multicomputers, standard embedding, communication pipelining, message-scheduling algorithms, Mapping algorithms, complete exchange, hypercube algorithms
12	Hala ElAarag	Improving TCP performance over mobile networks.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	I-TCP, M-TCP, MTCP, New-Reno, WTCP, comparison of TCP implementations, mobile TCP, split TCP, standard TCP, mobility, WAP, TCP performance, mobile wireless networks, end-to-end, mobile host, base station, link layer, SACK, Reno, wireless TCP, wired networks, snoop
12	Matthieu Martel	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	ESOP	2002	DBLP DOI BibTeX RDF	IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
12	Jeffrey Lane, Annette Cutino, Marilyn McMillan	Adventures in XSC: our six-week countdown to extended service coverage.	SIGUCCS	2002	DBLP DOI BibTeX RDF	extended service, staff training, standard operating procedures, helpdesk, incident management, new services
12	Tong Zhang 0002, Keshab K. Parhi	Systematic Design of Original and Modified Mastrovito Multipliers for General Irreducible Polynomials.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Finite (or Galois) field, standard basis, complexity, multiplication, VLSI architecture, irreducible polynomials, Toeplitz matrix
12	Bruno Legeard, Fabien Peureux	Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.	ASE	2001	DBLP DOI BibTeX RDF	B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing
12	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
12	Michael Parks	Number-Theoretic Test Generation for Directed Rounding.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Arithmetic testing, IEEE Standard 754, rounding functions, Hensel lifting, hyperSPARC
12	Guy Even, Wolfgang J. Paul	On the Design of IEEE Compliant Floating Point Units.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	floating-point rounding, floating-point arithmetic, IEEE 754 Standard, floating-point addition
12	Magnus Larsson, Ivica Crnkovic	Development Experiences of a Component-Based System.	ECBS	2000	DBLP DOI BibTeX RDF	standard components, reuse, component-based development, development environment, industrial process control
12	Wolfgang Lindner 0001, Henrike Berthold, Frank Binkowski, Andreas Heuer 0001, Klaus Meyer-Wegener	Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers.	IDEAS	2000	DBLP DOI BibTeX RDF	hypermedia videos, real time media servers, standard structured data, distinct systems, multimedia DBMS, hypermedia link anchors, client software, video playout, update processing, metadata, query processing, video stream, multimedia databases, continuous media, structured data, multimedia database systems, integrated management, video data, local structures, time-dependent data, MMDBS, media servers, hypermedia structures
12	Gay Costain	Selecting an object-oriented process for student analysts.	APSEC	2000	DBLP DOI BibTeX RDF	object-oriented process selection, student system analysts, standard notation, collaborating objects, Unified Modelling Language, UML, object-oriented programming, information technology, experience, computer science education, specification languages, object-oriented design, object-oriented methods, system development, object-oriented analysis, model integration
12	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
12	Toshihiko Tsumaki, Yoshitomi Morisawa	A framework of requirements tracing using UML.	APSEC	2000	DBLP DOI BibTeX RDF	industrial-standard visual modeling language, Object Management Group, model changes, change tracking, influence analysis, production sequence, model element correction, Unified Modeling Language, software development, specification languages, systems analysis, visual languages, diagrams, UML diagrams, requirements tracing, model searching
12	Susan Elliott Sim	Next Generation Data Interchange: Tool-to-Tool Application Program Interfaces.	WCRE	2000	DBLP DOI BibTeX RDF	protocol, framework, API, library, tool interoperability, standard exchange format
12	Chih-Wen Lu, Chauchin Su, Chung-Len Lee 0001, Jwu E. Chen	Is IDDQ testing not applicable for deep submicron VLSI in year 2011?	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deep submicron VLSI, IDDQ current estimation, random process deviations, IDDQ distributions, VLSI, statistical analysis, integrated circuit testing, CMOS integrated circuits, leakage currents, IDDQ testing, statistical approach, standard deviation, input vectors, circuit size
12	Kuen-Jong Lee, Cheng-I Huang	A hierarchical test control architecture for core based design.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	hierarchical test control architecture, SOC design, IEEE P1500 Working Group, test standard, IEEE 1149.1 cores, parallel testing capabilities, hierarchical test control mechanism, deeply embedded cores, hierarchical test access, integrated circuit testing, design for testability, automatic testing, application specific integrated circuits, IEEE standards, test architecture, core based design
12	Roxane Adle, Marc Aiguier, Franck Delaplace	Automatic Parallelization of Sparse Matrix Computations: A Static Analysis.	Euro-Par	2000	DBLP DOI BibTeX RDF	fill-in, non-standard semantics, sparse dependence analysis, Bernstein's conditions
12	D. Haskins	One World under a Groove - Handling Internet Mapping as Music.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	Internet mapping, computer science research outcome, public transport information systems, spatial co-ordinate data, standard geographic systems functions, GIS server application, CGI programs, pre-processed cartographic data, very large data set, CgiMapScript, philosophical issues, geographic information systems, music, object model, spatial searches
12	Andreas Heuer 0001, Denny Priebe	Integrating a Query Language for Structured and Semi-Structured Data and IR Techniques.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	IR techniques, Information Retrieval Query Language, back-ends, GETESS project, IRQL development, information retrieval techniques, SQL99 standard, information retrieval clauses, Boolean retrieval, object-relational model, attribute-independent queries, RDBMSs, IRQL queries, full-text DBMSs, conventional search engines, information retrieval, user interface, query languages, data model, semi-structured data, post processing, data access, structured data, dialogue system, database query languages, object-relational DBMSs
12	Mario Cannataro, Domenico Pascuzzi	An Object-Based Architecture for WAP -Compliant Applications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	object based architecture, WAP-compliant applications, emerging standard, data oriented applications, WAP suite, wireless contexts, general architectural framework, portable applications, WAP-compliant mobile terminals, end-to-end services, client disconnection, Internet, software components, Wireless Application Protocol, Internet telephony, business applications, wireless environments, general architecture
12	Sivaram Balasubramanian, Robert W. Brennan, Douglas H. Norrie	Requirements for Holonic Manufacturing Systems Control.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	holonic manufacturing systems control, unit level regulatory control, dynamically reconfigurable distributed multi sensor based holonic systems, software centric metamorphic control systems, uniform event driven control architecture, functional levels, International Electrotechnical Commission function block standard, IEC 1499, industrial process measurement, requisite behavior, distributed control software components, process control, real time control
12	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
12	Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
12	Simone de Abreu, Regina Borges de Araujo, André Luiz Battaiola	Construction of Multiuser Virtual Environments for the Virtual Teaching of Embryology.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	multiuser virtual environments, embryology teaching, virtual course, medical students, virtual reality, virtual reality, multimedia, medical education, MPEG-4 standard
12	Antonio Elias Fabris, Marcos Machado Ottani Assis, A. Robin Forrest	Parallelization of Filling Algorithms on Distributed Memory Machines using the Point Containment Paradigm.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	filling algorithm parallelization, point containment paradigm, point containment predicate, mathematically well-defined object, point-driven algorithms, parallel configurations, point-driven algorithm, standard uniprocessor software implementation, interactive editing, parallel algorithms, computer graphics, distributed memory machines
12	Heinz Mayer	Image-Based Texture Analysis for Realistic Image Synthesis.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	image based texture analysis, digital image synthesis, intensity values, highlighting artifacts, image based measurement system, BRDF values, diffuse reflectance coefficient, compact description, measured surface properties, arbitrary shape, standard CCD camera, image texture, reflectance model, realistic image synthesis, light source, measurement system, surface reflectance, bidirectional reflectance distribution function
12	Athanassios Papagelis, Dimitrios Kalles	GA Tree: genetically evolved decision trees.	ICTAI	2000	DBLP DOI BibTeX RDF	GA Tree, genetically evolved decision trees, classification decision tree evolution, standard discretized concept learning problems, C4 5, OneR, genetic algorithms, genetic algorithms, learning (artificial intelligence), decision trees, search problems, system performance
12	Tatsuo Nakajima	Practical Explicit Binding Interface for Supporting Multiple Transport Protocols in a CORBA System.	ICNP	2000	DBLP DOI BibTeX RDF	practical explicit binding interface, multiple transport protocols, CORBA system, standard CORBA interfaces, application portability, extended interface, omniORB2, CORBA 2.0 compliant system, AT? Laboratories, Cambridge, QoS, transport protocols, transport protocol, object model, software portability, network interfaces, distributed object management, connection management
12	James F. Power, Brian A. Malloy	Symbol Table Construction and Name Lookup in ISO C++.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language
12	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
12	Florin Muscutariu, Marie-Pierre Gervais	Modeling an OMG-MASIF Compliant Mobile Agent Platform with the RM-ODP Engineering Language.	MATA	2000	DBLP DOI BibTeX RDF	Methodology for agent-based services development, mobile agent architecture, OMG MASIF standard, RM-ODP
12	Amihood Amir, Moshe Lewenstein, Ely Porat	Approximate Swapped Matching.	FSTTCS	2000	DBLP DOI BibTeX RDF	pattern matching with swaps, non-standard pattern matching, pattern matching, Design and analysis of algorithms, approximate pattern matching, combinatorial algorithms on words
12	Stephen John Turner, Wentong Cai 0001, Boon-Ping Gan	Adapting a Supply-Chain Simulation for HLA.	DS-RT	2000	DBLP DOI BibTeX RDF	Supply-chain Simulation, Sematech Modeling Data Standard (MDS), High Level Architecture (HLA), Run-Time Infrastructure (RTI), Semiconductor Manufacturing
12	Mokhtar Aboelaze, Ayman Elnaggar	The Performance of Ethernet under a Combined Data/Real-Time Traffic.	LCN	2000	DBLP DOI BibTeX RDF	data/real-time traffic, IEEE 802.3 shared-bandwidth hub, regular data nodes, exponentially distributed packet length, Poisson arrival, video sources, MPEG encoded video sources, PCSMA, IEEE 802.3 standard, simulation, performance evaluation, protocols, video coding, local area networks, Ethernet, telecommunication traffic, data communication, access protocols, network performance, visual communication, telecommunication standards, IEEE standards, carrier sense multiple access
12	Jeffrey P. Monks, Vaduvur Bharghavan, Wen-mei W. Hwu	Transmission Power Control for Multiple Access Wireless Packet Networks.	LCN	2000	DBLP DOI BibTeX RDF	multiuser channels, multiple access wireless packet networks, collision avoidance MAC protocols, transmitter-receiver distance, spatial channel reuse, source destination pairs, throughput performance, nonpower controlled IEEE 802.11, multiple access wireless MAC protocol standard, wireless ad-hoc networks, power control, code division multiple access, code division multiple access, CDMA, cellular networks, simulation results, access protocols, packet radio networks, cellular radio, telecommunication control, transmission power control
12	Guy Genilloud, Alain Wegmann	A Foundation for the Concept of Role in Object Modelling.	EDOC	2000	DBLP DOI BibTeX RDF	standardization experts, instance concept, UML standard, ISO experts, ODP enterprise modelling, distributed processing, object modelling
12	Amy P. Felty, Frank A. Stomp	Cache Coherency in SCI: Specification and a Sketch of Correctness.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	SCI (Scalable Coherent Interface), Distributed systems, Formal verification, Temporal logic, Cache coherency, IEEE standard
12	David Maley, Ivor T. A. Spence	Emulating Design by Contract in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	C++, Design by Contract, Computational Physics, Standard Template Library
12	George J. Klir, Yi Pan	Constrained fuzzy arithmetic: Basic questions and some answers.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Fuzzy interval, standard fuzzy arithmetic, constrained fuzzy arithmetic, linguistic variable
12	Mads Tofte, Lars Birkedal	A Region Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	regions, standard ML
12	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
12	Matthew H. Austern	Segmented Iterators and Hierarchical Algorithms.	Generic Programming	1998	DBLP DOI BibTeX RDF	multidimensional data structures, iterators, Standard Template Library
12	Mads Tofte	A Brief Introduction to Regions.	ISMM	1998	DBLP DOI BibTeX RDF	Standard ML
12	Hongwei Xi, Frank Pfenning	Eliminating Array Bound Checking Through Dependent Types.	PLDI	1998	DBLP DOI BibTeX RDF	Standard ML
12	Stefanos D. Kollias, Nikolaos D. Doulamis, Anastasios D. Doulamis	Improving the performance of MPEG compatible encoders using on line retrainable neural network.	ICIP (3)	1997	DBLP DOI BibTeX RDF	MPEG compatible encoders, online retrainable neural networks, foreground/background objects extraction, MPEG-1 algorithm, MPEG-1/2 standard, precoding stage, MPEG-4 algorithm, MPEG-1 encoder, simulation, performance, rate control, video sequences, PSNR, code standards
12	Fabian W. Meier, Guido M. Schuster, Aggelos K. Katsaggelos	An Efficient Boundary Encoding Scheme which is Optimal in the Rate-Distortion Sense.	ICIP (2)	1997	DBLP DOI BibTeX RDF	boundary encoding scheme, object oriented video coding, arbitrarily shaped objects, shape coding, video object planes, lossy encoding, 8-connect chain codes, second order B-spline curve, control, video coding, distortion, rate distortion, bit rate, shape information, MPEG-4 standard, object shapes
12	Paulo J. L. Nunes, Fernando Pereira 0001, Ferran Marqués	Multi-grid chain coding of binary shapes.	ICIP (3)	1997	DBLP DOI BibTeX RDF	multi-grid chain coding, binary shapes, near-lossless coding, differential chain code method, MGCC, INTRA prediction modes, INTER prediction modes, near-lossless contour coding technique, contour description, contour prediction, contour simplification, delay, video coding, motion compensation, edges, residues, video objects, MPEG-4 standard, lossless coding, lossy coding, object-based video coding
12	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
12	S. Bilato, Giancarlo Calvagno, Gian Antonio Mian, Roberto Rinaldo	Accurate bit-rate and quality control for the MPEG video coder.	ICIP (3)	1997	DBLP DOI BibTeX RDF	MPEG video coder, quantization parameters, macroblock level, i.i.d. random vectors, independent variables, video coding, statistical model, quality control, rate-distortion performance, DCT coefficients, bit-rate control, video coding standard
12	Stefan Horbelt, Frederic D. Jordan, Touradj Ebrahimi	Streaming of Photo-Realistic Texture Mapped on 3D Surface.	ICIP (2)	1997	DBLP DOI BibTeX RDF	photo-realistic texture, 3D surface, efficient coding, 3D landscapes, back-channel, wavelet transform, discrete cosine transforms, discrete cosine transform, MPEG-4 standard
12	Lin-Cheng Wang, LipChen Alex Chan, Nasser M. Nasrabadi, Sandor Z. Der	Combination of Two Learning Algorithms for Automatic Target Recognition.	ICIP (1)	1997	DBLP DOI BibTeX RDF	hierarchical neural network architecture, composite classifiers, component classifiers, real forward-looking infrared imagery, cascade architecture, standard classifier fusion algorithms, military vehicles, statistical learning algorithms, performance, image recognition, multilayer perceptron, automatic target recognition, computational complexity reduction, ATR
12	A. Yeung, Soung C. Liew	Multiplexing Video Traffic Using Frame-skipping Aggregation Technique.	ICIP (1)	1997	DBLP DOI BibTeX RDF	frame-skipping aggregation technique, compression standard, video distribution systems, CBR communications channel, VBR MPEG video streams, B frames, image quality degradation, call admission strategy, video requests, bi-directionally predicted frames, multimedia, multiplexing, video quality, telecommunication congestion control, data rates, video traffic, traffic congestion
12	Ullrich Hafner	Image and Video Coding with Weighted Finite Automata.	ICIP (1)	1997	DBLP DOI BibTeX RDF	rate distortion constrained approximation, weighted finite automata, picture sequences, temporal redundancies removal, spatial redundancies removal, mathematical structure, efficient hybrid compression methods, coding algorithm, coarse linear combination, inter-frame coding, intra-frame coding, H.263 video coding standard, adaptive image partitioning, prediction, image coding, image coding, motion compensation, self similarities, entropy coding
12	Geoffrey M. Davis, Sumit Chawla	Significance Tree Quantization of the Discrete Cosine Transform.	ICIP (1)	1997	DBLP DOI BibTeX RDF	significance tree quantization, embedded transform coders, optimization procedure, embedded low-complexity coder, standard test images, EZW scheme, SPIHT scheme, EZDCT scheme, algorithm, image coding, discrete cosine transforms, discrete cosine transform, DCT, JPEG, arithmetic coding, PSNR, transform coefficient
12	Yao Wang 0001, Michael T. Orchard, Amy R. Reibman, Vinay A. Vaishampayan	Redundancy Rate-Distortion Analysis Of Multiple Description Coding Using Pairwise Correlating Transforms.	ICIP (1)	1997	DBLP DOI BibTeX RDF	redundancy rate-distortion analysis, pairwise correlating transforms, source encoding, high-quality reconstruction, MDC objectives, standard transform-based image coding, pairwise transforms, decoding, decoding, multiple description coding, bitstreams
12	Vasudev Bhaskaran, Konstantinos Konstantinides, Giordano Beretta	Text and Image Sharpening of Scanned Images in the JPEG Domain.	ICIP (2)	1997	DBLP DOI BibTeX RDF	scanned images, JPEG domain, image sharpening, text sharpening, scanned color documents, color scanners, JPEG standard, document compression, compressed images, encoding quantization table, high-frequency characteristics, image coding, image enhancement, image quality, experimental results, visual quality, DCT domain
12	Peter Eisert, Bernd Girod	Model-Based Estimation of Facial Expression Parameters from Image Sequences.	ICIP (2)	1997	DBLP DOI BibTeX RDF	facial expression parameters, model-based estimation, model-based algorithm, facial animation parameters, hierarchical optical flow based method, 3D triangular B-spline model, image sequences, image sequences, texture, shape, video frames, 3D motion estimation, linear algorithm, MPEG-4 standard, image plane, computational requirement
12	Bala Kalyanasundaram, Kirk Pruhs	Minimizing Flow Time Nonclairvoyantly.	FOCS	1997	DBLP DOI BibTeX RDF	flow time minimization, dynamically arriving jobs, unknown execution times, average response/flow time, classic CPU scheduling problem, time sharing operating systems, standard 3-field scheduling notation, nonclairvoyant version, randomized nonclairvoyant algorithm, RMLF, multi level feedback algorithm, deterministic nonclairvoyant algorithm, scheduling, minimisation, competitive ratio, Unix operating system, adaptive adversary
12	David W. Matula, Asger Munk Nielsen	Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations