Search results for "extension"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Yuanfeng Zhou, Cai-ming Zhang 0001, Shanshan Gao	Extension of B-Spline Curves with G2 Continuity.	ISVC (2)	2008	DBLP DOI BibTeX RDF	Curve extension, G 2 continuity, Curvature variation, Optimization, Energy, B-Spline
20	I-Wei Wu, Shih-Chia Huang, Chung-Ping Chung, Jean Jyh-Jiun Shann	Instruction Set Extension Generation with Considering Physical Constraints.	HiPEAC	2007	DBLP DOI BibTeX RDF	Pipestage Timing Constraint, ASIP, Instruction set extension, Extensible Processors
20	Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Effective sign extension elimination for java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Sign extension, Java, JIT compilers, IA-64, 64-bit architecture
20	Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang	Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram.	CW	2004	DBLP DOI BibTeX RDF	GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension
20	Hai Lin 0008, Jigui Sun, Yimin Zhang 0005	Theorem Proving Based on the Extension Rule.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	extension rule, inclusion-exclusion principle, complementary factor, theorem proving
20	Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Effective Sign Extension Elimination.	PLDI	2002	DBLP DOI BibTeX RDF	sign extension, Java, JIT compilers, IA-64, 64-bit architectures
20	Davide Bruni, Luca Benini, Bruno Riccò	System lifetime extension by battery management: an experimental work.	CASES	2002	DBLP DOI BibTeX RDF	lifetime extension, power management, battery
20	Issam A. Hamid	A dynamic Extension for the Specification of Distributed Systems.	APSEC	1996	DBLP DOI BibTeX RDF	dynamic extension, distributed systems, software engineering, specification
20	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
20	Aleksandra Mojsilovic, Miodrag V. Popovic, Aleksandar D. Popovic, Aleksandar N. Neskovic, V. Obradovic	Analysis and characterization of myocardial tissue with the wavelet image extension [US images].	ICIP	1995	DBLP DOI BibTeX RDF	myocardial tissue characterization, myocardial tissue analysis, wavelet image extension, orthonormal wavelet basis, unsupervised classification procedure, modified statistical T-test, image approximations, infarcted myocardium, noise-insensitive methods, US images, wavelet transforms, texture analysis, medical image processing, image texture, filter bank, medical diagnostic imaging, muscle, image distortions, echocardiography
20	Norman H. Cohen	Type-Extension Type Tests Can Be Performed In Constant Time.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	extensible data type, type extension, type test, object-oriented programming, inheritance, display, class, descriptor, membership test
20	David J. Aldous, Umesh V. Vazirani	A Markovian Extension of Valiant's Learning Model (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	weaker probabilistic model, Valiant learning model, Markovian extension, Occam algorithms, performance, classification, random walk
20	E. L. Lohse	Code extension procedures for information interchange.	Commun. ACM	1968	DBLP DOI BibTeX RDF	bit pattern, code extension, code table, control functions, data link escape, escape, information interchange, shift in, shift out, standard code, standard procedures, code, characters
18	August Schwerdfeger, Eric Van Wyk	Verifiable composition of deterministic grammars.	PLDI	2009	DBLP DOI BibTeX RDF	context-aware scanning, grammar composition, language composition, lr parsing, extensible languages
18	Eugene E. McDonnell	Life: Nasty, Brutish, and Short.	APL	1988	DBLP DOI BibTeX RDF	APL
18	Guido Boella, Souhila Kaci, Leendert W. N. van der Torre	Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension.	ECSQARU	2009	DBLP DOI BibTeX RDF
18	Jianyu Lin, Mark J. T. Smith	New Perspectives and Improvements on the Symmetric Extension Filter Bank for Subband/Wavelet Image Compression.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
18	Minghao Yin, Jigui Sun	Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
18	Bernard F. Buxton, Houari Abdallahi, Delmiro Fernandez-Reyes, William Jarra	Development of an Extension of the Otsu Algorithm for Multidimensional Image Segmentation of Thin-Film Blood Slides.	ICCTA	2007	DBLP DOI BibTeX RDF
18	Ziying Jiang	The road extension model in the land change modeler for ecological sustainability of IDRISI.	GIS	2007	DBLP DOI BibTeX RDF	land change model, GIS, pattern, location, road network
18	Xiaoyong Chen, Douglas L. Maskell	M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors.	ARCS	2006	DBLP DOI BibTeX RDF
18	Kuang-Yao Lee, Ting-Chi Wang, Kai-Yuan Chao	Post-routing redundant via insertion and line end extension with via density consideration.	ICCAD	2006	DBLP DOI BibTeX RDF
18	Howard J. Karloff, Subhash Khot, Aranyak Mehta, Yuval Rabani	On earthmover distance, metric labeling, and 0-extension.	STOC	2006	DBLP DOI BibTeX RDF
18	Demin Wang, Liang Zhang 0014, André Vincent	Curved wavelet transform and overlapped extension for image coding.	ICIP	2004	DBLP DOI BibTeX RDF
18	Saku Kukkonen, Jouni Lampinen	An Extension of Generalized Differential Evolution for Multi-objective Optimization with Constraints.	PPSN	2004	DBLP DOI BibTeX RDF	evolutionary algorithms, multi-objective optimization, differential evolution, Pareto-optimization, constraint handling
18	Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt	Constructing component-based extension interfaces in legacy systems code.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
18	Alexander Meduna	Coincidental extension of scattered context languages.	Acta Informatica	2003	DBLP DOI BibTeX RDF
18	Éric Tanter, Noury M. N. Bouraqadi-Saâdani, Jacques Noyé	Reflex - Towards an Open Reflective Extension of Java.	Reflection	2001	DBLP DOI BibTeX RDF
18	Yijing Ju, Yongquan Yu, Guangming Ju, Wen Cai	Extension Set and Restricting Qualifications of Matter-Elements' Extension.	ICITA (1)	2005	DBLP DOI BibTeX RDF
18	Todd J. Treangen, Aaron E. Darling, Guillaume Achaz, Mark A. Ragan, Xavier Messeguer, Eduardo P. C. Rocha	A Novel Heuristic for Local Multiple Alignment of Interspersed DNA Repeats.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	genome comparison, DNA repeats, local multiple alignment, gapped extension, hidden Markov model, Sequence alignment
18	Yun Li 0009, Su-Jun Hu, Wen-Jie Yang, Guozi Sun, Fang-Wu Yao, Geng Yang	Similarity-Based Feature Selection for Learning from Examples with Continuous Values.	PAKDD	2009	DBLP DOI BibTeX RDF	Extension Matrix, Feature Selection, Similarity
18	Victoria Groom, Leila Takayama, Paloma Ochi, Clifford Nass	I am my robot: the impact of robot-building and robot form on operators.	HRI	2009	DBLP DOI BibTeX RDF	robot form, robot personality, self extension, robots, human-robot interaction, humanoid robots, anthropomorphism, self
18	David M. Howard 0002, Gab-Byung Chae, Minseok Cheong, Sang-Mok Kim	Irreducible Width 2 Posets of Linear Discrepancy 3.	Order	2008	DBLP DOI BibTeX RDF	Linear discrepancy, Partially ordered set, Linear extension
18	Marcus Alanen, Ivan Porres	A metamodeling language supporting subset and union properties.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions
18	Jeffrey M. Arnold	The Architecture and Development Flow of the S5 Software Configurable Processor.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	software configurable processor, reconfigurable architectures, embedded computing, instruction set extension
18	Ihor Kuz, Yan Liu 0001	Extending the Capabilities of Component Models for Embedded Systems.	QoSA	2007	DBLP DOI BibTeX RDF	embedded system, component, scenario, extension, architecture design
18	Anne Auger, Olivier Teytaud	Continuous lunches are free!	GECCO	2007	DBLP DOI BibTeX RDF	Kolmogorov's extension theorem, free-lunch, no-free-lunch
18	Antonio Montalbán	Countably Complementable Linear Orderings.	Order	2006	DBLP DOI BibTeX RDF	countable linear ordering, extension property, embeddability
18	Mun-Kyu Lee, Howon Kim 0001, Dowon Hong, Kyoil Chung	Efficient Exponentiation in GF(pm) Using the Frobenius Map.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Cryptography, Finite Field, Elliptic Curve, Exponentiation, Optimal Extension Field
18	Dali Zangurashvili	Some Categorical Algebraic Properties: Counter-Examples for Functor Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
18	Veronica Biazzo, Angelo Gilio	Some Theoretical Properties of Conditional Probability Assessments.	ECSQARU	2005	DBLP DOI BibTeX RDF	Conditional events, theorem of extension, connection, coherence, compactness
18	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
18	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Multidimensional Modeling with UML Package Diagrams.	ER	2002	DBLP DOI BibTeX RDF	UML packages, UML, data warehouses, multidimensional modeling, UML extension
18	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
18	Pieter J. Collins, C. A. Hendrie	On Strict Extensions of Nearness Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	T-uniformity, nearness space, round Cauchy filter, strict extension, completeness
18	Rolf Hennicker, Nora Koch	A UML-based Methodology for Hypermedia Design.	UML	2000	DBLP DOI BibTeX RDF	Systematic Development, Unified Modeling Language, Web Engineering, Design Method, UML Extension, Hypermedia System
18	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ICSE	2000	DBLP DOI BibTeX RDF	interface extension, specialization by inheritance, system modeling/verification, simulation, refinement
18	Biplab K. Sikdar, Kolin Paul, Gosta Pada Biswas, Parimal Pal Chaudhuri, Vamsi Boppana, Cliff Yang, Sobhan Mukherjee	Theory and Application of GF(2p) Cellular Automata as On-chip Test Pattern Generator.	VLSI Design	2000	DBLP DOI BibTeX RDF	Extension field, BIST structure, Cellular Automata (CA), VLSI design and RTL, Finite field, DFT, Fault coverage, LFSR
18	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
16	Lemiao Qiu, Shuyou Zhang 0001, Jinxia Yu, Chunwei Xu	An Extensible Model of Product Configuration Knowledge Based on Matter-Element.	FSKD (4)	2008	DBLP DOI BibTeX RDF
16	Igor Radovanovic, Amit Ray, Johan Lukkien, Michel R. V. Chaudron	Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture.	ICSOC	2007	DBLP DOI BibTeX RDF	Web services, Service Oriented Architecture, SIP, IP Multimedia Subsystem
16	Kerry Trentelman, Marieke Huisman	Extending JML Specifications with Temporal Logic.	AMAST	2002	DBLP DOI BibTeX RDF
16	Ján Paulov	The zone-size-dependent entropy formula and spatial interaction modelling: An additional note.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
15	Pierre Kraemer, David Cazier, Dominique Bechmann	Extension of half-edges for the representation of multiresolution subdivision surfaces.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Geometric modeling, Subdivision surfaces, Topological model, Combinatorial maps, Multiresolution meshes
15	Ebru Arisoy, Murat Saraclar	Lattice Extension and Vocabulary Adaptation for Turkish LVCSR.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
15	Gábor Fehér, András G. Békés	ECT: an object-oriented extension to Erlang.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	object oriented programming
15	Enrique Domingo Fernández-Nieto, Remedios Gladis Narbona-Reina	Extension of WAF Type Methods to Non-Homogeneous Shallow Water Equations with Pollutant.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Well-balanced, Upwinding, Shallow water, Source terms, WAF, HLLC, Finite volume method, Pollutant
15	Patrick Bauer, Tim Fingscheidt	An HMM-based artificial bandwidth extension evaluated by cross-language training and test.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Michele Ceccarelli, Antonio Maratea	A Fuzzy Extension of Some Classical Concordance Measures and an Efficient Algorithm for Their Computation.	KES (3)	2008	DBLP DOI BibTeX RDF	Cluster Stability, Concordance Measure, Efficient Algorithm, Validity Index
15	C. Andrew Segall, Gary J. Sullivan	Spatial Scalability Within the H.264/AVC Scalable Video Coding Extension.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
15	José Ramon Rios Viqueira, Nikos A. Lorentzos	SQL extension for spatio-temporal data.	VLDB J.	2007	DBLP DOI BibTeX RDF	SQL, Data modelling, Spatial databases, Spatio-temporal databases
15	Luciano Stefanini	A Differential Evolution Algorithm for Fuzzy Extension of Functions.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
15	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
15	Brian J. Thorp, Scott F. Midkiff	An Application Layer Extension for Multipoint Communication for the Session Initiation Protocol.	IPCCC	2007	DBLP DOI BibTeX RDF
15	Don Syme, Gregory Neverov, James Margetson	Extensible pattern matching via a lightweight language extension.	ICFP	2007	DBLP DOI BibTeX RDF	F#, functional programming, pattern matching, ML
15	Eric Van Wyk, Yogesh Mali	Adding Dimension Analysis to Java as a Composable Language Extension.	GTTSE	2007	DBLP DOI BibTeX RDF
15	Masaaki Shirase, Yuto Kawahara, Tsuyoshi Takagi, Eiji Okamoto	Universal etaT Pairing Algorithm over Arbitrary Extension Degree.	WISA	2007	DBLP DOI BibTeX RDF	Duursma-Lee algorithm, Tate pairing, efficient implementation, ? T pairing
15	Mikaël Barbero, Frédéric Jouault, Jeff Gray 0001, Jean Bézivin	A Practical Approach to Model Extension.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
15	Se-Won Kim, Jae-Hyun Hwang, Jin-Hee Choi, Chuck Yoo	Sentry: A Binary-Level Interposition Mechanism for Trusted Kernel Extension.	CIT	2006	DBLP DOI BibTeX RDF
15	Andrea D'Ambrogio	A Model-driven WSDL Extension for Describing the QoS ofWeb Services.	ICWS	2006	DBLP DOI BibTeX RDF
15	Shan Shan Huang, Yannis Smaragdakis	Easy language extension with meta-aspectJ.	ICSE	2006	DBLP DOI BibTeX RDF	domain-specific languages, language extensions
15	Tetsuo Furukawa	SOM of SOMs: An Extension of SOM from 'Map' to 'Homotopy'.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
15	Dong-Hyun Chae, Kyu-Ho Han, Kyungsoo Lim, Sunshin An	A Novel Extension for On-Demand Routing Protocol in Event-Driven Sensor Networks.	NETWORKING	2005	DBLP DOI BibTeX RDF
15	Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico	NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.	QEST	2005	DBLP DOI BibTeX RDF
15	Jose Antonio Fonseca, Jorge Rady de Almeida Jr.	CMMI RAMS Extension Based on CENELEC Railway Standard.	SAFECOMP	2005	DBLP DOI BibTeX RDF
15	Li Zhang 0065, Zhiwei Yu	Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
15	Andrea D'Ambrogio	A WSDL Extension for Performance-Enabled Description of Web Services.	ISCIS	2005	DBLP DOI BibTeX RDF
15	Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico	Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.	LADC	2005	DBLP DOI BibTeX RDF
15	Moboluwaji O. Sanu, Earl E. Swartzlander Jr.	Multiply-Accumulate Architecture for a Special Class of Optimal Extension Fields.	ASAP	2005	DBLP DOI BibTeX RDF
15	Miklós Csürös, Bin Ma 0002	Rapid Homology Search with Two-Stage Extension and Daughter Seeds.	COCOON	2005	DBLP DOI BibTeX RDF
15	Jae-Hyun Kim, Tag Gon Kim	Proposal of High Level Architecture Extension.	AIS	2004	DBLP DOI BibTeX RDF
15	Jaehwa Park, Young-Bin Kwon	Main Wall Recognition of Architectural Drawings Using Dimension Extension Line.	GREC	2003	DBLP DOI BibTeX RDF	Architectural drawings, main wall, dimension line, recognition
15	Igor Kharitonenko, Xing Zhang, Sue Twelves	A wavelet transform with point-symmetric extension at tile boundaries.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
15	Michael Benedikt, Leonid Libkin	Tree Extension Algebras: Logics, Automata, and Query Languages.	LICS	2002	DBLP DOI BibTeX RDF
15	Tong Zheng 0002, Ferhat Khendek	An Extension for MSC-2000 and Its Application.	SAM	2002	DBLP DOI BibTeX RDF
15	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
15	Kosuke Yoshioka, Hiroyuki Oka, Hideshi Nishida, Ryuji Matsuura, Tokuzo Kiyohara	An architectural extension to the media core processor for HDTV applications.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
15	Stephan Wong, Sorin Cotofana, Stamatis Vassiliadis	General-Purpose Processor Huffman Encoding Extension.	ITCC	2000	DBLP DOI BibTeX RDF
15	Marco Baioletti, Stefano Marcugini, Alfredo Milani	An Extension of SATPLAN for Planning with Constraints.	AIMSA	1998	DBLP DOI BibTeX RDF
15	Jay A. Wood	Extension Theorems for Linear Codes over Finite Rings.	AAECC	1997	DBLP DOI BibTeX RDF
15	Albert Rubio	Extension Orderings.	ICALP	1995	DBLP DOI BibTeX RDF
15	Roberto H. Bamberger, Steven L. Eddins, Veyis Nuri	Generalized symmetric extension for size-limited multirate filter banks.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
15	F. Warren Burton	Type Extension Through Polymorphism.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
15	Guanghui Zhao, Yuhang Huang, Chengwang Xiao, Zhiwei Chen, Wenjing Wang	Spectrum Extension of a Real-Aperture Microwave Radiometer Using a Spectrum Extension Convolutional Neural Network for Spatial Resolution Enhancement.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Seong-Kyun Mok, Eun-Sun Cho	L4 Pointer: An efficient pointer extension for spatial memory safety support without hardware extension.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jonathan William Ambrose, Dylan Sin You Cheah, Raye Chen-Hua Yeow	Dual Multilayer Extension Actuator for High Extension and High Compression Force Applications.	RoboSoft	2023	DBLP DOI BibTeX RDF
15	Xurui Li	Exploring Dynamic Class Instantiation and Imagick Extension Vulnerabilities in PHP: Insights and Techniques in Securing PHP Applications - A Comprehensive Guide to Dynamic Class Instantiation and Imagick Extension Vulnerabilities.	SPCNC	2023	DBLP DOI BibTeX RDF
15	Norbert Hounsou	Extension optimale des algorithmes de démosaïquage d'images multispectrales pour la mise en place d'un système d'acquisition vidéo caméra one-shot. (Optimal extension of multispectral image demosaicking algorithms for setting up a one-shot camera video acquisition system).		2022	RDF
15	André Casajus, Michael Kramm	The dual Lovász extension operator and the Shapley extension operator for TU games.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF
15	André Casajus	Extension operators for TU games and the Lovász extension.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF