Search results for "s-compact"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Christian Ronse, Mohamed Tajine	Hausdorff Sampling of Closed Sets into a Boundedly Compact Space.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF	compact set, proximinal set, boundedly compact set, discretization, metric space, Distance, dilation, Hausdorff metric
56	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
51	Susan B. Niefield	Locally Compact Path Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	locally compact, compact-open topology, path space
46	Man Ho Au, Willy Susilo, Yi Mu 0001	Practical Compact E-Cash.	ACISP	2007	DBLP DOI BibTeX RDF	constant-size, bilinear pairings, compact, E-Cash
46	Arthur Brady, Lenore Cowen	Compact routing with additive stretch using distance labelings.	SPAA	2006	DBLP DOI BibTeX RDF	compact routing
46	Robert D. Carr, Giuseppe Lancia	Compact optimization can outperform separation: A case study in structural proteomics.	4OR	2004	DBLP DOI BibTeX RDF	compact optimization, subtour-elimination, Linear programming, contact map
43	Arnold L. Rosenberg, Lawrence Snyder	Time- and Space-Optimality in B-Trees.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	2, 3-tree, bushy B-tree, compact B-tree, node-visit cost, B-tree, space utilization
39	Jimmie D. Lawson, Luoshan Xu	Maximal Classes of Topological Spaces and Domains Determined by Function Spaces.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	function space, L-domain, core compact space, RW-space, Lawson compact, local connectivity, domain
38	Xiangang Zhang, Gregory A. Blaisdell, Anastasios S. Lyrintzis	High-Order Compact Schemes with Filters on Multi-block Domains.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Multi-block, compact difference schemes, compact filters
38	José Vicente Calvano, Vladimir Castro Alves, Marcelo Lubaszewski	Testing a PWM circuit using functional fault models and compact test vectors for operational amplifiers.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	PWM circuit, compact test vectors, analog VLSI technology, functional fault macromodels, compact test vector construction, open loop gain, CMMR, analog circuit simulation complexity, VLSI, integrated circuit testing, design for testability, automatic test pattern generation, fault modeling, fault simulation, fault simulation, operational amplifiers, operational amplifiers, test pattern, functional fault models, analogue circuits, fault dictionary, pulse width modulation, slew-rate
38	Jiali Choy, Huihui Yap, Khoongming Khoo	An Analysis of the Compact XSL Attack on BES and Embedded SMS4.	CANS	2009	DBLP DOI BibTeX RDF	Compact XSL Attack, ESMS4, BES
38	Guoliang Li 0001, Jianhua Feng, Jianyong Wang 0001, Bei Yu 0003, Yukai He	Race: finding and ranking compact connected trees for keyword proximity search over xml documents.	WWW	2008	DBLP DOI BibTeX RDF	compact lca (clca), lowest common ancestor (lca), maximal clca (mclca)
38	Man Ho Au, Qianhong Wu, Willy Susilo, Yi Mu 0001	Compact E-Cash from Bounded Accumulator.	CT-RSA	2007	DBLP DOI BibTeX RDF	compact e-cash, bounded accumulator, bilinear pairings
38	Kun-Ming Yu, Yu-Weir Chang, YaoHua Yang, Jiayi Zhou, Chun-Yuan Lin, Chuan Yi Tang	A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets.	PaCT	2005	DBLP DOI BibTeX RDF	compact sets, branch-and-bound, computational biology, evolutionary tree
38	Qin Lv, Moses Charikar, Kai Li 0001	Image similarity search with compact data structures.	CIKM	2004	DBLP DOI BibTeX RDF	search, image similarity, compact data structures
35	Nicolas Neuss	A New Sparse-Matrix Storage Method for Adaptively Solving Large Systems of Reaction-Diffusion-Transport Equations.	Computing	2002	DBLP DOI BibTeX RDF	Sparse-matrix storage methods, matrix graph, compact storage, compact row-ordered storage, Harwell-Boeing, CRS, partial differential equations, systems, multigrid, chemical reactions
34	Matthew F. Dixon, Chih Jeng Kenneth Tan	Using Distributed Computers to Deterministically Approximate Higher Dimensional Convection Diffusion Equations.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	high-order compact, distributed algorithms, iterative methods, option pricing, multidimensional
33	Mehdi Dehghan 0002, Akbar Mohebbi, Zohreh Asgari	Fourth-order compact solution of the nonlinear Klein-Gordon equation.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Klein-Gordon (KG) equation, Compact finite difference, Diagonally-implicit Runge-Kutta-Nyström (DIRKN) methods, Soliton, High accuracy
33	Jie Deng, Albert Lin, Gordon C. Wan, H.-S. Philip Wong	Carbon nanotube transistor compact model for circuit design and performance optimization.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	VerilogA, carbon nanotube FET, compact model, CNT, HSPICE
33	Janus Egholm, Niels Jørgen Christensen	Rendering compact discs and other diffractive surfaces illuminated by linear light sources.	GRAPHITE	2006	DBLP DOI BibTeX RDF	compact disc, linear light source, real time, rendering, analytic model, diffraction
33	Xavier Llorà, Kumara Sastry, David E. Goldberg	The compact classifier system: motivation, analysis, and first results.	GECCO	2005	DBLP DOI BibTeX RDF	compact classifier system, maximally general classifiers, spawning and merging populations, learning classifier systems
33	Olga Veksler	Stereo Correspondence with Compact Windows via Minimum Ratio Cycle.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	compact windows, minimum ratio cycle, graph algorithms, Stereo correspondence, adaptive windows
33	Dmitry Svirsky, Yuri Polozkov	The Industrial Application of the Irregular 3D-Objects Image Processing in the Compact Reverse Engineering System.	CAIP	2001	DBLP DOI BibTeX RDF	compact system, image processing, reverse engineering
33	M. H. Konijnenburg, J. Th. van der Linden, Ad J. van de Goor	Compact test sets for industrial circuits.	VTS	1995	DBLP DOI BibTeX RDF	compact test sets, industrial circuits, binary logic elements, three-state elements, compaction oriented decision making, heuristics, logic testing, integrated circuit testing, automatic test pattern generation, combinational circuits, automatic testing, multivalued logic circuits, test patterns, bidirectionals, xor gates, or gates, test set size
33	Wilfred J. Hansen	Compact list representation: definition, garbage collection, and system implementation.	Commun. ACM	1969	DBLP DOI BibTeX RDF	compact list, free storage, list processing system, list representation, plex, plex processing, primitive list operations, storage reclamation, data structure, garbage collection, LISP, LISP, pointer, data representation, macro, list, relocation, list structure
30	Masoud Nikravesh	Concept-based search and questionnaire systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF	PNL, NeuSearch, Z(n)-compact, BISC-DSS, Semantic Web, Fuzzy query, Fuzzy search
30	W. Stephen Lacy, José Cruz-Rivera, D. Scott Wills	The Offset Cube: A Three-Dimensional Multicomputer Network Topology Using Through-Wafer Optics.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	MPP networks, ultra-compact systems, offset cube, 3D packaging, through-wafer signaling, adaptive routing, optical interconnect, deadlock freedom, 3D mesh
29	Qingbin Zhang, Tihua Wu, Bo Liu 0064	A weight based compact genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	weight, selection pressure, compact genetic algorithm
29	Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Noam Nisan, Mikkel Thorup	Compact name-independent routing with minimum stretch.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Compact routing
29	Dai Yamamoto, Jun Yajima, Kouichi Itoh	A Very Compact Hardware Implementation of the MISTY1 Block Cipher.	CHES	2008	DBLP DOI BibTeX RDF	MISTY1, Compact Implementation, Block cipher, Hardware, ASIC
29	Goran Konjevod, Andréa W. Richa, Donglin Xia, Hai Yu 0005	Compact routing with slack in low doubling dimension.	PODC	2007	DBLP DOI BibTeX RDF	name-indpendent routing, routing with slack, compact routing, doubling dimension
29	Wai Yin Mok, David W. Embley	Generating Compact Redundancy-Free XML Documents from Conceptual-Model Hypergraphs.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	XML data redundancy, compact XML storage structures, XML scheme generation
29	Jichun Li 0001, Miguel R. Visbal	High-order Compact Schemes for Nonlinear Dispersive Waves.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	high-order compact schemes, KdV equation, KdV-Burgers equation, dispersive wave
29	Ping-Chu Hung, Ying-Ping Chen	iECGA: integer extended compact genetic algorithm.	GECCO	2006	DBLP DOI BibTeX RDF	genetic linkage, integer representations, building blocks, extended compact genetic algorithms
29	Tim Broeckhoven, Sergey Smirnov 0003, Jan Ramboer, Chris Lacor	Finite Volume Formulation of Compact Upwind and Central Schemes with Artificial Selective Damping.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Artificial selective damping, Non-uniform meshes, Compact schemes
29	Tapan K. Sengupta, A. Guntaka, S. Dey	Navier-Stokes Solution by New Compact Scheme for Incompressible Flows.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Compact difference scheme, Navier-Stokes solution, flow instability, incompressible flows
29	Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Noam Nisan, Mikkel Thorup	Compact name-independent routing with minimum stretch.	SPAA	2004	DBLP DOI BibTeX RDF	compact routing
29	Marta Arias, Lenore Cowen, Kofi A. Laing, Rajmohan Rajaraman, Orjeta Taka	Compact routing with name independence.	SPAA	2003	DBLP DOI BibTeX RDF	distributed lookup tables, compact routing, stretch
29	Paolo Liberatore	Compilability and compact representations of revision of Horn knowledge bases.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	compilability, compact representations
29	Young-Jo Cho, Bum-Jae You, Sang-Rok Oh, Chong-Won Lee	A Compact/Open Network-Based Controller Incorporating Modular Software Architecture for a Humanoid Robot.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	network-based controller, open/compact design, modular software architecture, humanoid robot
29	Harpreet S. Sawhney, Serge Ayer	Compact Representations of Videos Through Dominant and Multiple Motion Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Compact video representations, video motion analysis, layered motion representations, mixture models, video indexing, robust estimation, motion segmentation, video mosaics, expectation-maximization (EM) algorithm
29	Serge N. Demidenko, Alexander Ivanyukovich, Leonid Makhnist, Vincenzo Piuri	Error masking in compact testing based on the Hamming code and its modifications.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	error masking, compact testing, invalid sequence, code words, arbitrary weight, masking probability, logic testing, probability, probability distribution, signature analysis, binary sequences, Hamming codes, Hamming code
29	Remata S. Reddy, Irith Pomeranz, Sudhakar M. Reddy, Seiji Kajihara	Compact test generation for bridging faults under IDDQ testing.	VTS	1995	DBLP DOI BibTeX RDF	compact test generation, bit-adders, logic testing, partitioning, integrated circuit testing, fault location, stuck-at faults, CMOS logic circuits, bridging faults, logic partitioning, I/sub DDQ/ testing
29	Sudheer Sahu, John H. Reif	Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions.	DNA	2006	DBLP DOI BibTeX RDF
29	Arthur Brady, Lenore Cowen	Exact Distance Labelings Yield Additive-Stretch Compact Routing Schemes.	DISC	2006	DBLP DOI BibTeX RDF
29	Romans Kasperovics, Michael H. Böhlen	Querying Multi-granular Compact Representations.	DASFAA	2006	DBLP DOI BibTeX RDF
29	Bo Qin, Qianhong Wu, Willy Susilo, Yi Mu 0001, Yumin Wang	Zero-Knowledge Proof of Generalized Compact Knapsacks (or A Novel Identification/Signature Scheme).	ATC	2006	DBLP DOI BibTeX RDF
29	Yasue Kishino, Tsutomu Terada, Masahiko Tsukamoto, Shojiro Nishio	A Ubiquitous Computing Environment Composed by Cooperation between Visual Markers and Event-Driven Compact Devices.	UDM	2005	DBLP DOI BibTeX RDF
29	Matthew F. Dixon, Chih Jeng Kenneth Tan	Distributed Solution of High-Order Compact Difference Schemes for Multidimensional Convection-Diffusion Equations.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
29	Anand Rajaraman, Jeffrey D. Ullman	Querying Websites Using Compact Skeletons. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
29	Santhana Krishnamachari, Akio Yamada, Mohamed Abdel-Mottaleb, Eiji Kasutani	Multimedia Content Filtering, Browsing, and Matching Using MPEG-7 Compact Color Descriptors.	VISUAL	2000	DBLP DOI BibTeX RDF
29	Alfred J. Boals, Ajay K. Gupta 0001, Jahangir A. Hashmi, Naveed A. Sherwani	Compact Hypercubes: Properties and Recognition.	ICCI	1991	DBLP DOI BibTeX RDF
26	Samar K. Saha	Modeling Process Variability in Scaled CMOS Technology.	IEEE Des. Test Comput.	2010	DBLP DOI BibTeX RDF	compact variability modeling, gate-oxide thickness variability, high-k dielectric, line-edge roughness, polysilicon granularity, random discrete dopants, scaled CMOS technology, statistical compact modeling, design and test, process variability, metal gate
26	Kyriakos Keremedis	Disasters in topology without the axiom of choice.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Axiom of Choice, Countable axiom of choice, Countable axiom of Multiple choice, Countably compact, First countable, Second countable, Metrizable spaces, Compact, Separable
26	Sylvain Stanchina, Matthias Meyer	Mark-sweep or copying?: a "best of both worlds" algorithm and a hardware-supported real-time implementation.	ISMM	2007	DBLP DOI BibTeX RDF	mark-compact collection, object-based processor architecture, hardware support, real-time garbage collection
26	Pierre Fraigniaud, Cyril Gavoille	A Space Lower Bound for Routing in Trees.	STACS	2002	DBLP DOI BibTeX RDF	compact routing, Algorithms and data structures, computational and structural complexity
26	Marco Loog, Johannes Jisse Duistermaat, Luc Florack	On the Behavior of Spatial Critical Points under Gaussian Blurring. A Folklore Theorem and Scale-Space Constraints.	Scale-Space	2001	DBLP DOI BibTeX RDF	Large-scale behavior, loss of detail, nonnegative function, compact support, spatial critical point, deep structure
26	Tamás Horváth 0002	Arithmetic Design for Permutation Groups.	CHES	1999	DBLP DOI BibTeX RDF	permutation multiplier, destination-tag routing, separation network, binary group, secret-key cryptosystem, PGM, switching network, sorting network, compact representation
25	Aïda Batarekh, V. S. Subrahmanian	The Query Topology in Logic Programming.	STACS	1989	DBLP DOI BibTeX RDF
25	Bradley N. Bond, Luca Daniel	Automated compact dynamical modeling: an enabling tool for analog designers.	DAC	2010	DBLP DOI BibTeX RDF	parameterized modeling, semidefinite programming, model reduction, analog design, compact modeling
25	Kyriakos Christou, Maria K. Michael, Spyros Tragoudas	On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults
25	Rafael R. Silva, Heitor S. Lopes, Carlos Raimundo Erig Lima	A Compact Genetic Algorithm with Elitism and Mutation Applied to Image Recognition.	ICIC (2)	2008	DBLP DOI BibTeX RDF	object recognition, Compact Genetic Algorithm
25	Gil González-Rodríguez, Ángela Blanco-Fernández, Norberto Corral, Ana Colubi	Least squares estimation of linear regression models for convex compact random sets.	Adv. Data Anal. Classif.	2007	DBLP DOI BibTeX RDF	Convex compact random sets, Set arithmetic approach, Interval-valued data, Set-valued data, Least squares method, Support function, Point estimation, Linear regression model
25	Y. V. S. S. Sanyasiraju, V. Manjula	Fourth-Order Semi-Compact Scheme for Flow Past a Rotating and Translating Cylinder.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	semi-compact, rotating cylinder, Higher order, incompressible flow
25	Yong Ki Lee, Ingrid Verbauwhede	A Compact Architecture for Montgomery Elliptic Curve Scalar Multiplication Processor.	WISA	2007	DBLP DOI BibTeX RDF	Compact Elliptic Curve Processor, Montgomery Scalar Multiplication
25	Michael Dinitz	Compact routing with slack.	PODC	2007	DBLP DOI BibTeX RDF	compact routing, slack
25	Stefan Droste	A rigorous analysis of the compact genetic algorithm for linear functions.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	runtime, theoretical analysis, compact genetic algorithm
25	Norbert Pramstaller, Christian Rechberger, Vincent Rijmen	A compact FPGA implementation of the hash function whirlpool.	FPGA	2006	DBLP DOI BibTeX RDF	compact hardware implementation, FPGA, hash function, whirlpool
25	Carlos Galup-Montoro, Márcio C. Schneider, Viriato C. Pahim	Fundamentals of next generation compact MOSFET models.	SBCCI	2005	DBLP DOI BibTeX RDF	MOSFET model, inversion-charge model, surface potential model, compact model
25	Stefan Droste	Not all linear functions are equally difficult for the compact genetic algorithm.	GECCO	2005	DBLP DOI BibTeX RDF	runtime, theoretical analysis, compact genetic algorithm
25	Tapan K. Sengupta, G. Ganerwal, Anurag Dipankar	High Accuracy Compact Schemes and Gibbs' Phenomenon.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Compact difference scheme, Gibbs' pheno-menon, Burgers' equation, spectral analysis
25	Ali Uzun, Gregory A. Blaisdell, Anastasios S. Lyrintzis	Application of Compact Schemes to Large Eddy Simulation of Turbulent Jets.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Turbulent jets, Jet noise, Dynamic smagorinsky subgrid-scale model, Compact finite difference schemes, Implicit spatial filtering, Large Eddy simulation
25	Qinghua Zou, Shaorong Liu, Wesley W. Chu	Using a compact tree to index and query XML data.	CIKM	2004	DBLP DOI BibTeX RDF	XML index, XQuery processing, compact tree, early pruning, inverted file clustering, path summary
25	Liangxi Qin, Ping Luo 0001, Zhongzhi Shi	Efficiently Mining Frequent Itemsets with Compact FP-Tree.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	compact FP-tree, association rule, frequent patterns
25	Yon Dourisboure	Compact Routing Schemes for Bounded Tree-Length Graphs and for k-Chordal Graphs.	DISC	2004	DBLP DOI BibTeX RDF	tree-length, chordality, compact routing, tree-decomposition
25	Ittai Abraham, Dahlia Malkhi	Compact routing on euclidian metrics.	PODC	2004	DBLP DOI BibTeX RDF	network design, compact routing
25	Cyril Gavoille, David Peleg	Compact and localized distributed data structures.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Informative labeling schemes, Compact routing tables, Distance labeling
25	José Ignacio Hidalgo, Manuel Prieto 0001, Juan Lanchares, Ranieri Baraglia, Francisco Tirado, Oscar Garnica	Hybrid Parallelization of a Compact Genetic Algorithm.	PDP	2003	DBLP DOI BibTeX RDF	Local search, graph-partitioning, Compact Genetic Algorithm, Hybrid parallelization
25	Marta Arias, Lenore Cowen, Kofi A. Laing	Compact roundtrip routing with topology-independent node names.	PODC	2003	DBLP DOI BibTeX RDF	Distributed Lookup Tables, Compact Routing, Digraphs, Stretch
25	Arnim Brüger, Jonas Nilsson, Wendy Kress	A Compact Higher Order Finite Difference Method for the Incompressible Navier-Stokes Equations.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	compact fourth order methods, Navier-Stokes equations, curvilinear grids
25	Gennaro Coppola, Carlo Meola	Generalization of the Spline Interpolation Based on the Principle of the Compact Schemes.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	spline interpolation, compact schemes
25	Yon Dourisboure, Cyril Gavoille	Improved Compact Routing Scheme for Chordal Graphs.	DISC	2002	DBLP DOI BibTeX RDF	Chordal graph, tree-decomposition, compact routing tables
25	Ming Li 0023, Tao Tang 0003	A Compact Fourth-Order Finite Difference Scheme for Unsteady Viscous Incompressible Flows.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	streamfunction, Navier-Stokes equations, vorticity, compact scheme
25	Lata Narayanan, Jaroslav Opatrny	Compact Routing on Chordal Rings of Degree 4.	Algorithmica	1999	DBLP DOI BibTeX RDF	Compact routing schemes, Boolean routing, Distributed networks, Chordal rings, Interval routing
25	Tsuyoshi Shinogi, Terumine Hayashi	A Parallel Generation System of Compact IDDQ Test Sets for Large Combinational Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	compact test generation, parallel processing, ATPG, IDDQ testing
25	Mike Fornefett, Karl Rohr, H. Siegfried Stiehl	Elastic Registration of Medical Images Using Radial Basis Functions with Compact Support.	CVPR	1999	DBLP DOI BibTeX RDF	medical image analysis applications, elastic image registration, radial basis functions with compact support
25	Jean-Paul Theis, Harald Schlimper	Ultrafast compact CMOS dividers.	ICPADS	1997	DBLP DOI BibTeX RDF	CMOS dividers, ultrafast, restoring division, floating-point division, 0.3 mum, parallelization, timing, layout, compact, dividing circuits, divider circuits
25	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Efficient verification of real-time systems: compact data structure and state-space reduction.	RTSS	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
25	Fernando C. M. Martins, José M. F. Moura	3-D video compositing: towards a compact representation for video sequences.	ICIP	1995	DBLP DOI BibTeX RDF	3D video compositing, very low bit rate video coding, video codec framework, stochastic nonparametric 3D object models, motion script estimates, multiproperty object models, color information, range sequences, depth map registration, 3DVC, interframe compression ratios, motion estimation, motion estimates, data compression, image sequences, video coding, image representation, stochastic processes, video sequences, video codecs, compact representation, shape information, model based coding
25	Hideyuki Takada, Ken Sakamura	Compact, low-cost, but real-time distributed computing for computer augmented environments.	FTDCS	1995	DBLP DOI BibTeX RDF	building management systems, compact low-cost real-time distributed computing, TRON Project, highly functionally distributed systems, low-cost distributed computing systems, standard real-time kernel specification, small-scale embedded systems, low-cost real-time LAN, TRON-concept Computer Augmented Building, real-time systems, distributed processing, local area networks, intelligent control, embedded computers, operating system kernels, home automation, computer augmented environments
25	Saul Abarbanel, Ajay Kumar	Compact high-order schemes for the Euler equations.	J. Sci. Comput.	1988	DBLP DOI BibTeX RDF	approximate factorization, Euler equations, shock waves, compact schemes
24	Lei Wang 0001, Luping Zhou, Chunhua Shen	A Fast Algorithm for Creating a Compact and Discriminative Visual Codebook.	ECCV (4)	2008	DBLP DOI BibTeX RDF
24	Daniele Micciancio	Generalized Compact Knapsacks, Cyclic Lattices, and Efficient One-Way Functions.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	11H06, Subject classification. 68Q17, 94B15
24	Yatao Xu, Tanja Grubba	Computability on Subsets of Locally Compact Spaces.	TAMC	2007	DBLP DOI BibTeX RDF
24	Roy Varshavsky, Michal Linial, David Horn	COMPACT: A Comparative Package for Clustering Assessment.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
24	Samson Abramsky	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.	CALCO	2005	DBLP DOI BibTeX RDF
24	Yasuhito Asano, Tsuyoshi Ito, Hiroshi Imai, Masashi Toyoda, Masaru Kitsuregawa	Compact Encoding of the Web Graph Exploiting Various Power Laws: Statistical Reason Behind Link Database.	WAIM	2003	DBLP DOI BibTeX RDF
24	Michael R. Darnel, Jorge Martinez 0001	Radical Classes of Lattice-Ordered Groups vs. Classes of Compact Spaces.	Order	2002	DBLP DOI BibTeX RDF	F-spaces, disconnected spaces, completeness of a class, laterally separated, radical class of -groups, spectral space, stranded primes, Yosida space
24	Leonidas J. Guibas, Jack Snoeyink, Li Zhang 0001	Compact Voronoi Diagrams for Moving Convex Polygons.	SWAT	2000	DBLP DOI BibTeX RDF
24	Arnold L. Rosenberg, Lawrence Snyder	Compact B-Trees.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF