Search results for "s-compact"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Yaser Yacoob, Larry S. Davis	Tracking Rigid Motion using a Compact-Structure Constraint.	ICCV	1999	DBLP DOI BibTeX RDF
12	Pankaj Rohatgi	A Compact and Fast Hybrid Signature Scheme for Multicast Packet Authentication.	CCS	1999	DBLP DOI BibTeX RDF
12	Barry Smyth, Elizabeth McKenna	Building Compact Competent Case-Bases.	ICCBR	1999	DBLP DOI BibTeX RDF
12	Cyril Gavoille, Nicolas Hanusse	Compact Routing Tables for Graphs of Bounded Genus.	ICALP	1999	DBLP DOI BibTeX RDF
12	Seiji Kajihara, Atsushi Murakami, Tomohisa Kaneko	On Compact Test Sets for Multiple Stuck-at Faults for Large Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF
12	Magnus Nyström, John G. Brainard	An X.509-Compatible Syntax for Compact Certificates.	CQRE	1999	DBLP DOI BibTeX RDF
12	Amit Rao, Santosh Pande	Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs.	PLDI	1999	DBLP DOI BibTeX RDF
12	Jacques Froment	A Compact and Multiscale Image Model Based on Level Sets.	Scale-Space	1999	DBLP DOI BibTeX RDF
12	Gabriele Baldi, Carlo Colombo, Alberto Del Bimbo	A Compact and Retrieval-Oriented Video Representation Using Mosaics.	VISUAL	1999	DBLP DOI BibTeX RDF
12	Lakhdar Remaki, Mohamed Cheriet	Visual Data Extraction from Bi-level Document Images using a Generalized Kernel Family with Compact Support, in Scale-Space.	ICDAR	1999	DBLP DOI BibTeX RDF
12	James C. Corbett	Constructing Compact Models of Concurrent Java Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	Java, static analysis, finite-state verification, model extraction
12	Ilker Hamzaoglu, Janak H. Patel	Compact two-pattern test set generation for combinational and full scan circuits.	ITC	1998	DBLP DOI BibTeX RDF
12	V. Kaal, Hans G. Kerkhoff	Compact structural test generation for analog macros.	ED&TC	1997	DBLP DOI BibTeX RDF
12	Alejandro F. González, Pinaki Mazumder	Compact Signed-Digit Adder Using Multiple-Valued Logic.	ARVLSI	1997	DBLP DOI BibTeX RDF
12	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Sidiropoulos	Design of Compact and High speed, Totally Self Checking CMOS Checkers for m-out-of-n Codes.	DFT	1997	DBLP DOI BibTeX RDF	SelfChecking circuits, totally selfchecking circuits, moutofn codes, fault tolerance
12	Cecilia Metra, Michele Favalli, Bruno Riccò	Highly testable and compact single output comparator.	VTS	1997	DBLP DOI BibTeX RDF	comparators (circuits), single output comparator, self-checking n-input comparator, n-variable two-rail checker, equality checker, strongly code-disjoint, input code words, embedded comparators, VLSI, fault detection, totally-self-checking
12	Lawrence Peh, Chi Ping Tsang	Weight Sensitive Boolean Extraction Produces Compact Expressions.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	weight sensitivity, neural network, rule extraction, boolean expression, disjunctive normal form
12	Emilio Bujalance García, Antonio F. Costa, José Manuel Gamboa Mutuberría, Javier Lafuente López	An Algorithm To Compute Orders and Ramification Indices of Cyclic Actions on Compact Surfaces, II.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
12	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
12	Peter A. Dinda, David R. O'Hallaron	Fast Message Assembly Using Compact Address Relations.	SIGMETRICS	1996	DBLP DOI BibTeX RDF
12	Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Compact and complete test set generation for multiple stuck-faults.	ICCAD	1996	DBLP DOI BibTeX RDF	Multiple stuck faults, complete test set generation, irrepressible faults
12	Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli	Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.	ICCAD	1996	DBLP DOI BibTeX RDF	Boolean space, Partitioned ROBDDs, complex industrial circuits, manipulable representation, reduced ordered binary decision diagrams, Boolean functions
12	Evangelos Kranakis, Danny Krizanc	Lower Bounds for Compact Routing (Extended Abstract).	STACS	1996	DBLP DOI BibTeX RDF
12	Jens Gustedt, Michel Morvan, Laurent Viennot	A Compact Data Structure and Parallel Algorithms for Permutation Graphs.	WG	1995	DBLP DOI BibTeX RDF
12	Weitong Chuang, Ibrahim N. Hajj	Delay and area optimization for compact placement by gate resizing and relocation.	ICCAD	1994	DBLP DOI BibTeX RDF
12	A. C. Norman	Compact Delivery Support for REDUCE.	DISCO	1993	DBLP DOI BibTeX RDF
12	Evgeny V. Luk-Silberman	Foundations of Asymptotical Theory of Determinate Compact Testing.	ISTCS	1992	DBLP DOI BibTeX RDF
12	Etienne Grandjean, J. M. Robson	RAM with Compact Memory: A Realistic and Robust Model of Computation.	CSL	1990	DBLP DOI BibTeX RDF
12	Christopher W. Fraser	A Compact, Machine-Independent Peephole Optimizer.	POPL	1979	DBLP DOI BibTeX RDF
8	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
8	J. William Helton, Jiawang Nie	Semidefinite representation of convex sets.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 46N10, 47N10, 90C25, 65K05, 90C22
8	Ahmad Ali Iqbal, Maximilian Ott, Aruna Seneviratne	Semantic content distribution with aggregated profiles.	SAC	2010	DBLP DOI BibTeX RDF	semantics, profile, aggregation, RDF, subscription
8	Junfeng He, Wei Liu 0005, Shih-Fu Chang	Scalable similarity search with optimized kernel hashing.	KDD	2010	DBLP DOI BibTeX RDF	scalable, search, indexing, kernel method, nearest neighbor, hashing, structure data
8	Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy	An optimal labeling scheme for workflow provenance using skeleton labels.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	workflow, provenance, labeling, reachability
8	Jörn Wanke, Adrian Ulges, Christoph H. Lampert, Thomas M. Breuel	Topic models for semantics-preserving video compression.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	topic models, content-based video retrieval
8	Erik Vee, Sergei Vassilvitskii, Jayavel Shanmugasundaram	Optimal online assignment with forecasts.	EC	2010	DBLP DOI BibTeX RDF	computational advertising, guaranteed delivery, online matching
8	Samuli Laine, Tero Karras	Efficient sparse voxel octrees.	SI3D	2010	DBLP DOI BibTeX RDF
8	Benjamin Arazi	Message Authentication in Computationally Constrained Environments.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
8	Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa	Compiler Support for Code Size Reduction Using a Queue-Based Processor.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF	Reduced bit-width Instruction Set, Queue Computation Model, Code Generation, Code Size Reduction
8	Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno	A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	algorithmic graph theory, cograph, prefix tree, distance-hereditary graph, tree representation
8	Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, Ojas Parekh	Compacting cuts: A new linear formulation for minimum cut.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	Linear programming formulation complexity, minimum cut problem
8	Eskandar Naraghirad	Characterizations of simultaneous farthest point in normed linear spaces with applications.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Proximinal set, Simultaneous farthest point, Simultaneous remotal set, Extremal point, Best approximation
8	Gisele L. Pappa, Alex Alves Freitas	Evolving rule induction algorithms with multi-objective grammar-based genetic programming.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Grammar-based genetic programming, Rule induction algorithms, Data mining, Classification, Pareto optimization
8	Jean B. Lasserre	Convex sets with semidefinite representation.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 52A20, 52A27, 52A41, 13B25, 12D15, 90C25, 90C22
8	Theodore Birbas, Sophia Daskalaki, Efthymios Housos	School timetabling for quality student and teacher schedules.	J. Sched.	2009	DBLP DOI BibTeX RDF	Educational timetabling, Shift assignment, Integer programming
8	Tao Mei 0001, Bo Yang 0008, Shi-Qiang Yang, Xian-Sheng Hua 0001	Video collage: presenting a video sequence using a single image.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Video collage, Video presentation, Energy minimization
8	Prithviraj Sen, Amol Deshpande, Lise Getoor	PrDB: managing and exploiting rich correlations in probabilistic databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases
8	Anthony C. Karloff, Roberto Muscedere	A low-cost, real-time, hardware-based image demosaicking algorithm.	EIT	2009	DBLP DOI BibTeX RDF
8	Hoang Thanh Lam, Raffaele Perego 0001, Quan Thoi Minh Nguyen, Fabrizio Silvestri	Entry Pairing in Inverted File.	WISE	2009	DBLP DOI BibTeX RDF
8	Dongsheng Duan, Yuhua Li 0003, Yanan Jin, Zhengding Lu	Community mining on dynamic weighted directed graphs.	CIKM-CNIKM	2009	DBLP DOI BibTeX RDF	change-point detection, dynamic weighted directed graph, modularity, compactness, community discovery
8	Deepti Joshi, Ashok Samal, Leen-Kiat Soh	Density-based clustering of polygons.	CIDM	2009	DBLP DOI BibTeX RDF
8	Xiaoli Zhang, Amy C. Lehman, Carl A. Nelson, Shane Farritor, Dmitry Oleynikov	Cooperative robotic assistant for laparoscopic surgery: CoBRASurge.	IROS	2009	DBLP DOI BibTeX RDF
8	Andrzej Ehrenfeucht, Ross M. McConnell, Sung-Whan Woo	Contracted Suffix Trees: A Simple and Dynamic Text Indexing Data Structure.	CPM	2009	DBLP DOI BibTeX RDF
8	Venugopalan Ramasubramanian, Dahlia Malkhi, Fabian Kuhn, Mahesh Balakrishnan 0001, Archit Gupta, Aditya Akella	On the treeness of internet latency and bandwidth.	SIGMETRICS/Performance	2009	DBLP DOI BibTeX RDF	sequoia, latency, bandwidth, internet topology, tree embedding
8	Mathieu Chapelle, Frédéric Mazoit, Ioan Todinca	Constructing Brambles.	MFCS	2009	DBLP DOI BibTeX RDF
8	Juan Caballero, Zhenkai Liang, Pongsin Poosankam, Dawn Song	Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration.	RAID	2009	DBLP DOI BibTeX RDF
8	Miroslav Knezevic, Ingrid Verbauwhede	Hardware evaluation of the Luffa hash family.	WESS	2009	DBLP DOI BibTeX RDF	Luffa hash algorithm, SHA-3 competition, ASIC implementations
8	Pablo Vanegas, Dirk Cattrysse, Jos Van Orshoven	Compactness and Flow Minimization Requirements in Reforestation Initiatives: An Integer Programming (IP) Formulation.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Site Location, Site Allocation, Flow Minimization, Integer Programming, Exact Methods
8	Charles Augustine, Arijit Raychowdhury, Yunfei Gao, Mark S. Lundstrom, Kaushik Roy 0001	PETE: A device/circuit analysis framework for evaluation and comparison of charge based emerging devices.	ISQED	2009	DBLP DOI BibTeX RDF
8	Paul Brodhead, Bjørn Kjos-Hanssen	The Strength of the Grätzer-Schmidt Theorem.	CiE	2009	DBLP DOI BibTeX RDF	computability theory, lattice theory
8	Zhiyong Zeng, Zhiqiang Yao, Shigang Liu	An efficient and effective image representation for region-based image retrieval.	ICIS	2009	DBLP DOI BibTeX RDF	mean energy, normalized inertia, region Legendre color distribution, region-based image retrieval
8	Yun Ye, Frank Liu 0001, Min Chen 0024, Yu Cao 0001	Variability analysis under layout pattern-dependent rapid-thermal annealing process.	DAC	2009	DBLP DOI BibTeX RDF	dopant activation, layout pattern, rapid-thermal annealing, threshold voltage variation, physical design
8	Igor Timko, Michael H. Böhlen, Johann Gamper	Sequenced spatio-temporal aggregation in road networks.	EDBT	2009	DBLP DOI BibTeX RDF
8	Vladimir Egorov, Armen P. Sarvazyan	Mechanical Imaging of the Breast.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
8	Daniel Kunkle, Donghui Zhang, Gene Cooperman	Mining Frequent Generalized Itemsets and Generalized Association Rules Without Redundancy.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	frequent generalized itemsets, redundancy avoidance, generalized association rules
8	Jian Zhou, Xiao-Ping Zhang 0002	An ICA Mixture Hidden Markov Model for Video Content Analysis.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
8	Tong-Yee Lee, Chao-Hung Lin, Yu-Shuen Wang, Tai-Guang Chen	Animation Key-Frame Extraction and Simplification Using Deformation Analysis.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
8	Sverre Wichlund, Frank Berntsen, Einar J. Aas	Scan Test Response Compaction Combined with Diagnosis Capabilities.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Scan compression, Diagnosis, ATPG, Yield, Design for test, ATE
8	Ja-Yong Koo, Peter T. Kim	Asymptotic Minimax Bounds for Stochastic Deconvolution Over Groups.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
8	Taeho Kgil, Ali G. Saidi, Nathan L. Binkert, Steven K. Reinhardt, Krisztián Flautner, Trevor N. Mudge	PicoServer: Using 3D stacking technology to build energy efficient servers.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	3D stacking technology, Tier-1/2/3 server, Low power, chip multiprocessor, full-system simulation
8	Hai Huong Dam, Hussein A. Abbass, Chris Lokan, Xin Yao 0001	Neural-Based Learning Classifier Systems.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Representations (procedural and rule-based), Learning, Knowledge modeling, Rule-based processing
8	Pando G. Georgiev, Panos M. Pardalos, Altannar Chinchuluun	Localization of minimax points.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Gilbert-Pollak conjecture, g-Vertex, Spanning tree, Steiner tree, Minimax, Steiner ratio
8	David Liu 0001, Tsuhan Chen	DISCOV: A Framework for Discovering Objects in Video.	IEEE Trans. Multim.	2008	DBLP DOI BibTeX RDF
8	Steven B. Damelin	A walk through energy, discrepancy, numerical integration and group invariant measures on measurable subsets of euclidean space.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 41A05, Secondary 41A15, 41A63
8	Jason D. McEwen, Michael P. Hobson, Anthony N. Lasenby	Optimal Filters on the Sphere.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
8	Jakub Gismatullin, Ludomir Newelski	G-compactness and groups.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03C60, 22C05, 20F28, 03H05
8	Michael Hrusák, Manuel Sanchis, Á. Tamariz-Mascarúa	Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 54H20, 37E99
8	Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson	Aperture-Angle and Hausdorff-Approximation of Convex Figures.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Hausdorff approximation, Aperture angle, Convex figure, Subpolygon
8	Nico Cornelis, Bastian Leibe, Kurt Cornelis, Luc Van Gool	3D Urban Scene Modeling Integrating Recognition and Reconstruction.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Temporal integration, 3D reconstruction, Structure from motion, Object detection, City modeling
8	Gui-Bo Ye, Ding-Xuan Zhou	Learning and approximation by Gaussians on Riemannian manifolds.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T05, 62J02
8	Davide Bacciu, Antonina Starita	Competitive Repetition Suppression (CoRe) Clustering: A Biologically Inspired Learning Model With Application to Robust Clustering.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
8	Changqing Li, Tok Wang Ling, Min Hu	Efficient updates in dynamic XML data: from binary string to quaternary string.	VLDB J.	2008	DBLP DOI BibTeX RDF
8	Maria Grzegorek	Homogeneity of Pixel Neighborhoods in Gray Level Images Investigated by the Grade Correspondence Analysis.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
8	Aleksey Fadeev, Hichem Frigui	Dominant Texture Descriptors for image classification and retrieval.	ICIP	2008	DBLP DOI BibTeX RDF
8	Syed Khairuzzaman Tanbeer, Chowdhury Farhan Ahmed, Byeong-Soo Jeong, Young-Koo Lee	Efficient frequent pattern mining over data streams.	CIKM	2008	DBLP DOI BibTeX RDF	data mining, data stream, frequent pattern
8	Jürgen Sturm, Christian Plagemann, Wolfram Burgard	Unsupervised body scheme learning through self-perception.	ICRA	2008	DBLP DOI BibTeX RDF
8	Michel Lauria, Marc-Antoine Legault, Marc-André Lavoie, François Michaud	Differential elastic actuator for robotic interaction tasks.	ICRA	2008	DBLP DOI BibTeX RDF
8	Gabriel Falcão Paiva Fernandes, Vítor Manuel Mendes da Silva, Marco Alexandre Cravo Gomes, Leonel Augusto Sousa	Edge Stream Oriented LDPC Decoding.	PDP	2008	DBLP DOI BibTeX RDF	LDPC decoding, Caravela, GPU, Stream architectures
8	Mooseop Kim, Jaecheol Ryou 0001, Sungik Jun	Efficient Hardware Architecture of SHA-256 Algorithm for Trusted Mobile Computing.	Inscrypt	2008	DBLP DOI BibTeX RDF
8	Abbas Edalat	Weak Topology and a Differentiable Operator for Lipschitz Maps.	LICS	2008	DBLP DOI BibTeX RDF	Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric
8	Martin Farach-Colton, Yang Huang	A Linear Delay Algorithm for Building Concept Lattices.	CPM	2008	DBLP DOI BibTeX RDF
8	Ming Liu 0009, Yun Fu 0001, Thomas S. Huang	An audio-visual fusion framework with joint dimensionality reducton.	ICASSP	2008	DBLP DOI BibTeX RDF
8	Nazli Ikizler, Ramazan Gokberk Cinbis, Pinar Duygulu	Human action recognition with line and flow histograms.	ICPR	2008	DBLP DOI BibTeX RDF
8	Maria José Pereira Dantas, Leonardo da C. Brito, Paulo C. M. Machado, Paulo Henrique Portela de Carvalho	Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis.	SBIA	2008	DBLP DOI BibTeX RDF	bidimensional representation, bi-objective classification, two-port building-blocks, microwave circuit, automated synthesis
8	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
8	Lidong Wang, Xiuying Xing, Zhenyan Chu	On Definitions of Chaos in Discrete Dynamical System.	ICYCS	2008	DBLP DOI BibTeX RDF
8	Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn, Christian Schlegel	On the efficiency and accuracy of hybrid pseudo-random number generators for FPGA-based simulations.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Jens Otten	leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions).	IJCAR	2008	DBLP DOI BibTeX RDF
8	Anthony Rowe 0001, Karthik Lakshmanan, Ragunathan Rajkumar	SAMPL: a simple aggregation and message passing layer for sensor networks.	WICON	2008	DBLP DOI BibTeX RDF	tree routing, wireless sensor networks, sensor networks, network management, deployment
8	Boyuan Yan, Sheldon X.-D. Tan, Gengsheng Chen, Lifeng Wu	Modeling and simulation for on-chip power grid networks by locally dominant Krylov subspace method.	ICCAD	2008	DBLP DOI BibTeX RDF