Search results for "compactness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	In-Yee Lee, Ta-tsen Soong, Jan-Ming Ho, Ming-Jing Hwang	Derivation and Analysis of Fragment Libraries of Protein Structures.	BIBE	2004	DBLP DOI BibTeX RDF
10	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
10	François Boutin, Mountaz Hascoët	Cluster Validity Indices for Graph Partitioning.	IV	2004	DBLP DOI BibTeX RDF	cluster validity indices, partitioning, graph clustering
10	Caixia Gao, Enmin Feng, Zhilong Xiu	Nonlinear impulsive system of fed batch in fermentation productive and its parameter identification.	ICARCV	2004	DBLP DOI BibTeX RDF
10	Rédouane Benaini, Karim Sbata, Pierre Vincent	A Hybrid Overlay Topology for Wide Area Multicast Sessions.	ECUMN	2004	DBLP DOI BibTeX RDF
10	Enrico Pontelli, Tran Cao Son, Islam Elkabani	Smodels with CLP?A Treatment of Aggregates in ASP.	LPNMR	2004	DBLP DOI BibTeX RDF
10	Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert	Pipelining Broadcasts on Heterogeneous Platforms.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Bao-Gang Hu, Hong-Jie Xing, Yujiu Yang	Geometric Interpretation of Nonlinear Approximation Capability for Feedforward Neural Networks.	ISNN (1)	2004	DBLP DOI BibTeX RDF
10	Jen-Chieh Chiang, Jeen-Shing Wang	A validity-guided support vector clustering algorithm for identification of optimal cluster configuration.	SMC (4)	2004	DBLP DOI BibTeX RDF
10	Per Bjesse, Arne Borälv	DAG-aware circuit compression for formal verification.	ICCAD	2004	DBLP DOI BibTeX RDF
10	Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William H. Hsu	A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming.	GECCO (2)	2004	DBLP DOI BibTeX RDF
10	Arnon Avron, Iddo Lev	Non-Deterministic Matrices.	ISMVL	2004	DBLP DOI BibTeX RDF
10	Dörte Radke, Ulrich Möller	Quantitative Evaluation of Established Clustering Methods for Gene Expression Data.	ISBMDA	2004	DBLP DOI BibTeX RDF
10	Sing-Rong Li, Pinaki Mazumder, Leon O. Chua	On the implementation of RTD based CNNs.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
10	Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro	A System with Template Answer Set Programs.	JELIA	2004	DBLP DOI BibTeX RDF
10	Nivea de Carvalho Ferreira, Michael Fisher 0001, Wiebe van der Hoek	Practical Reasoning for Uncertain Agents.	JELIA	2004	DBLP DOI BibTeX RDF
10	Chun Hung Li, Zhi-Li Wu	Spectral Energy Minimization for Semi-supervised Learning.	PAKDD	2004	DBLP DOI BibTeX RDF
10	Seung Man Kim, Kwan-Heng Lee	3D Mesh Fairing Based on Lighting and Geometric Conditions for Interactive Smooth Rendering.	CIS	2004	DBLP DOI BibTeX RDF
10	Serhiy Kosinov, Stéphane Marchand-Maillet, Thierry Pun	Iterative Majorization Approach to the Distance-based Discriminant Analysis.	GfKl	2004	DBLP DOI BibTeX RDF
10	Ee-Chien Chang, Mohan S. Kankanhalli, Xin Guan, Zhiyong Huang, Yinghui Wu	Robust image authentication using content based compression.	Multim. Syst.	2003	DBLP DOI BibTeX RDF	Security, Wavelets, Watermarking, Digital signature, Signal processing
10	Arthur W. Apter	Some remarks on indestructibility and Hamkins' lottery preparation.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Lottery preparation, Indestructibility, Non-reflecting stationary set of ordinals
10	Andrzej Szymczak	Optimized Edgebreaker encoding for large and regular triangle meshes.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Context, Compression, Entropy, Mesh
10	Riccardo Distasi, Michele Nappi, Maurizio Tucci	FIRE: fractal indexing with robust extensions for image databases.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
10	Qingfeng Huang, Chenyang Lu 0001, Gruia-Catalin Roman	Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints.	IPSN	2003	DBLP DOI BibTeX RDF
10	Olfa Nasraoui, Cesar Cardona Uribe, Carlos Rojas Coronel, Fabio A. González 0001	TECNO-STREAMS: Tracking Evolving Clusters in Noisy Data Streams with a Scalable Immune System Learning Model.	ICDM	2003	DBLP DOI BibTeX RDF
10	Clayton Silva Oliveira, Emílio Del Moral Hernandez	MLP+H: A Hybrid Neural Architecture Formed by the Interaction of Hopfield and Multi-Layer Perceptron Neural Networks.	IWANN (1)	2003	DBLP DOI BibTeX RDF
10	Fabian Schwarzer, Itay Lotan	Approximation of protein structure for fast similarity measures.	RECOMB	2003	DBLP DOI BibTeX RDF	approximation of structure, similarity measures, nearest-neighbor search, protein structure
10	Rainer Osswald, Wiebke Petersen	A Logical Approach to Data-Driven Classification.	KI	2003	DBLP DOI BibTeX RDF
10	Natasa Sladoje, Ingela Nyström, Punam K. Saha	Measuring Perimeter and Area in Low Resolution Images Using a Fuzzy Approach.	SCIA	2003	DBLP DOI BibTeX RDF	Fuzzy shape representation, accuracy, precision, boundary
10	Adem Kalinli, Seref Sagiroglu	A New Approach Based on Recurrent Neural Networks for System Identification.	ISCIS	2003	DBLP DOI BibTeX RDF
10	Sean L. Forman, Yading Yue	Congressional Districting Using a TSP-Based Genetic Algorithm.	GECCO	2003	DBLP DOI BibTeX RDF
10	Tolga Can, Yuan-Fang Wang	CTSS: A Robust and Efficient Method for Protein Structure Alignment Based on Local Geometrical and Biological Feature.	CSB	2003	DBLP DOI BibTeX RDF
10	D. Rovinskiy, Kateryna Synytsya, A. Podgornov	Quality Assessment for Collections of Learning Resources.	ICALT	2003	DBLP DOI BibTeX RDF
10	Tetsuya Uemura, Masafumi Yamamoto	Proposal of Four-Valued MRAM based on MTJ/RTD Structure.	ISMVL	2003	DBLP DOI BibTeX RDF
10	Shinobu Nagayama, Tsutomu Sasao	Compact Representations of Logic Functions using Heterogeneous MDDs.	ISMVL	2003	DBLP DOI BibTeX RDF
10	Farid Boussaïd, Douglas Chai, Abdesselam Bouzerdoum	On-Chip Skin Detection for Color CMOS Imagers.	ICMENS	2003	DBLP DOI BibTeX RDF
10	Antonio J. López-Martín, Jaime Ramírez-Angulo, Ramón González Carvajal	Low-voltage low-power wideband CMOS current conveyors based on the flipped voltage follower.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
10	Alan A. Stocker	Compact integrated transconductance amplifier circuit for temporal differentiation.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
10	Wiset Saksiri, Monai Krairiksh	Lumped element model approach for the bandwidth enhancement of coupled microstrip antenna.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
10	Ting-Yu Lin, Yu-Chee Tseng, Keng-Ming Chang, Chun-Liang Tu	Formation, Routing, and Maintenance Protocols for the BlueRing Scatternet of Bluetooths.	HICSS	2003	DBLP DOI BibTeX RDF
10	Martin Styner, Kumar T. Rajamani, Lutz-Peter Nolte, Gabriel Zsemlye, Gábor Székely, Christopher J. Taylor 0001, Rhodri H. Davies	Evaluation of 3D Correspondence Methods for Model Building.	IPMI	2003	DBLP DOI BibTeX RDF
10	Jeroen C. J. H. Aerts, Marjan van Herwijnen, Theodor J. Stewart	Using Simulated Annealing and Spatial Goal Programming for Solving a Multi Site Land Use Allocation Problem.	EMO	2003	DBLP DOI BibTeX RDF
10	Yang Cui 0001, Kazukuni Kobara, Hideki Imai	Compact Conversion Schemes for the Probabilistic OW-PCA Primitives.	ICICS	2003	DBLP DOI BibTeX RDF
10	Peng Li 0001, Lawrence T. Pileggi	NORM: compact model order reduction of weakly nonlinear systems.	DAC	2003	DBLP DOI BibTeX RDF	RF circuit modeling, nonlinear model order reduction
10	Jerry Zhao, Ramesh Govindan, Deborah Estrin	Sensor Network Tomography: monitoring wireless sensor networks.	Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF
10	Yakov Frayman, Lipo Wang	A dynamically-constructed fuzzy neural controller for direct model reference adaptive control of multi-input-multi-output nonlinear processes.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Feedback fuzzy neural controller, Dynamic controller structure, Direct MRAC, Cold mill thickness control
10	Dag Normann	Continuity, proof systems and the theory of transfinite computations.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
10	Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti	Extended Faceted Taxonomies for Web Catalogs.	WISE	2002	DBLP DOI BibTeX RDF
10	Igor Rojdestvenski, Michael Cottam	Visualizing Metabolic Networks in VRML.	IV	2002	DBLP DOI BibTeX RDF
10	Hong Lu 0001, Yap-Peng Tan	Content-based sports video analysis and modeling.	ICARCV	2002	DBLP DOI BibTeX RDF
10	Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti	Extended Faceted Ontologies.	CAiSE	2002	DBLP DOI BibTeX RDF
10	Magdalena Kacprzak	Formalization of Multiagent Reasoning.	PARELEC	2002	DBLP DOI BibTeX RDF
10	Enrico Bini, Giorgio C. Buttazzo	The Space of Rate Monotonic Schedulability.	RTSS	2002	DBLP DOI BibTeX RDF
10	Chi-Sheng Lin, Bin-Da Liu	Design of a pipelined and expandable sorting architecture with simple control scheme.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
10	Joakim Lindblad, Ingela Nyström	Surface Area Estimation of Digitized 3D Objects Using Local Computations.	DGCI	2002	DBLP DOI BibTeX RDF	accuracy, shape analysis, rotation invariance, marching cubes, isoperimetric inequality
10	Kyoungju Park, Dimitris N. Metaxas, Leon Axel	LV-RV Shape Modeling Based on a Blended Parameterized Model.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
10	Munaga V. N. K. Prasad, Kaushal K. Shukla, R. N. Mukherjee	Implementation of BTTC Image Compression Algorithm Using Fuzzy Technique.	AFSS	2002	DBLP DOI BibTeX RDF
10	Jiangning Xu, Tughrul Arslan	An EHW Architecture for Real-Time GPS Attitude Determination Based on Parallel Genetic Algorithm.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
10	Ryoji Ishikawa, Tomonori Igarashi, Takashi Hirayama, Kensuke Shimizu	Pseudocube-based expressions to enhance testability.	APCCAS (2)	2002	DBLP DOI BibTeX RDF
10	Jawahar Jain, Ingo Wegener, Masahiro Fujita	A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Partitioned-OBDDs, composition, OBDDs
10	C.-J. Richard Shi, Sheldon X.-D. Tan	Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
10	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
10	Carlo Bruni, Alberto De Santis, Daniela Iacoviello, Giorgio Koch	Modeling for edge detection problems in blurred noisy images.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
10	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	A General Theory of Deduction, Induction, and Learning.	Discovery Science	2001	DBLP DOI BibTeX RDF
10	Michael Beetz, Thorsten Belker	Learning structured reactive navigation plans from executing MDP navigation policies.	Agents	2001	DBLP DOI BibTeX RDF
10	Hans-Jürgen Bandelt	Invited Presentation: Median Hulls as Steiner Hulls in Rectilinear and Molecular Sequence Spaces.	WG	2001	DBLP DOI BibTeX RDF
10	Kyoung-Mi Lee	Image-Guided Telemedicine System via the Internet.	Human.Society@Internet	2001	DBLP DOI BibTeX RDF
10	Claudio Rocchini, Paolo Cignoni, Fabio Ganovelli, Claudio Montani, Paolo Pingi, Roberto Scopigno	Marching Intersections: An Efficient Resampling Algorithm for Surface Management.	Shape Modeling International	2001	DBLP DOI BibTeX RDF
10	Dengsheng Zhang, Guojun Lu	Content-Based Shape Retrieval Using Different Shape Descriptors: A Comparative Study.	ICME	2001	DBLP DOI BibTeX RDF	grid, shape, CBIR, Fourier descriptors, Zernike moments, curvature scale space
10	Marc Cohen, Gert Cauwenberghs, Mikhail A. Vorontsov, Gary Carhart	Focal-Plane Image and Beam Quality Sensors for Adaptive Optics.	ARVLSI	2001	DBLP DOI BibTeX RDF
10	Rene Quiniou, Marie-Odile Cordier, Guy Carrault, Feng Wang	Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition.	ILP	2001	DBLP DOI BibTeX RDF
10	Pedro V. Sander, John M. Snyder, Steven J. Gortler, Hugues Hoppe	Texture mapping progressive meshes.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	surface flattening, texture stretch, mesh simplification, surface parametrization
10	Jason A. Skicewicz, Peter A. Dinda, Jennifer M. Schopf	Multi-Resolution Resource Behaviour Queries Using Wavelets.	HPDC	2001	DBLP DOI BibTeX RDF
10	Krista Lagus, Esa Alhoniemi, Harri Valpola	Independent Variable Group Analysis.	ICANN	2001	DBLP DOI BibTeX RDF
10	Ajay Divakaran	An Overview of MPEG-7 Motion Descriptors and Their Applications.	CAIP	2001	DBLP DOI BibTeX RDF	motion-based video indexing and summarization, motion activity, MPEG-7
10	Jens-Rainer Ohm	The MPEG-7 Visual Description Framework - Concepts, Accuracy, and Applications.	CAIP	2001	DBLP DOI BibTeX RDF	visual descriptor, application scenario, MPEG-7
10	Michael Sperber, Peter Thiemann 0001	Generation of LR parsers by partial evaluation.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	functional programming, continuations, partial evaluation, parser generation, LR parsing
10	Jane You, Prabir Bhattacharya	A wavelet-based coarse-to-fine image matching scheme in a parallel virtual machine environment.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
10	Alex K. Simpson, Gordon D. Plotkin	Complete Axioms for Categorical Fixed-Point Operators.	LICS	2000	DBLP DOI BibTeX RDF	iteration theories, fixed points, domain theory, Categorical models
10	Alberto L. Sangiovanni-Vincentelli	Models of Computation and Simulation of Hybrid Systems.	HSCC	2000	DBLP DOI BibTeX RDF
10	Pascal Matsakis, Laurent Wendling	Orbit and Sinus Classification Based on Force Histogram Computation.	ICPR	2000	DBLP DOI BibTeX RDF
10	Cecilia Di Ruberto, Andrew G. Dempster, Shahid Khan 0003, Bill Jarra	Segmentation of Blood Images Using Morphological Operators.	ICPR	2000	DBLP DOI BibTeX RDF
10	Jens Mache, Virginia Mary Lo, Sharad Garg	Job Scheduling that Minimizes Network Contention due to both Communication and I/O.	IPDPS	2000	DBLP DOI BibTeX RDF	performance evaluation, parallel I/O, job scheduling, processor allocation, interprocess communication, network contention
10	Shou-Kang Wei, Fay Huang, Reinhard Klette	Classification and Characterization of Image Acquisition for 3D Scene Visualization and Reconstruction Applications.	Theoretical Foundations of Computer Vision	2000	DBLP DOI BibTeX RDF
10	Kenji Shimazaki, Hiroyuki Tsujikawa, Seijiro Kojima, Shouzou Hirano	LEMINGS: LSI's EMI-Noise Analysis with Gate Level Simulator.	ISQED	2000	DBLP DOI BibTeX RDF
10	David B. Leake, David C. Wilson	Remembering Why to Remember: Performance-Guided Case-Base Maintenance.	EWCBR	2000	DBLP DOI BibTeX RDF
10	Yaser Yacoob, Larry S. Davis	Tracking Rigid Motion using a Compact-Structure Constraint.	ICCV	1999	DBLP DOI BibTeX RDF
10	Ioannis Kompatsiaris, Michael G. Strintzis	Spatiotemporal Segmentation and Tracking of Objects for Visualization of Videoconference Image Sequences.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	spatiotemporal image sequence segmentation, model-based image sequence analysis, VRML
10	Lin Zhou, Chandra Kambhamettu	Extending Superquadrics with Exponent Functions: Modeling and Reconstruction.	CVPR	1999	DBLP DOI BibTeX RDF	hyperquadrics, exponent functions, shape recovery, range data, superquadrics, 3D object modeling, 3D object reconstruction, Bezier curve
10	Ge Cong, Bahram Parvin	Model Based Segmentation of Nuclei.	CVPR	1999	DBLP DOI BibTeX RDF	Nuclei Segmentation, Hyperquadrics, Grouping
10	Rong Lin, Kevin E. Kerr, André S. Botha	A Novel Approach for CMOS Parallel Counter Design.	EUROMICRO	1999	DBLP DOI BibTeX RDF	parallel counter and compressor, low power high speed CMOS circuit design, VLSI design, Arithmetic circuit, partial product reduction
10	Robert C. Williamson, Alexander J. Smola, Bernhard Schölkopf	Entropy Numbers, Operators and Support Vector Kernels.	EuroCOLT	1999	DBLP DOI BibTeX RDF
10	Alessandro L. Koerich, Luan Ling Lee	Automatic Storage, Retrieval, and Visualization of Bank Check Images.	ICDAR	1999	DBLP DOI BibTeX RDF
10	Maury Bramson	State space collapse with application to heavy traffic limits for multiclass queueing networks.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	heavy traffic limits, first-in first-out, queueing networks, fluid models, processor sharing
10	Yu-Ping Wang, Seng Luan Lee	Scale-Space Derived From B-Splines.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	scaling theorem, fingerprint theorem, wavelet, B-spline, scale-space, Image modeling
10	Enrique Casanovas	A test for expandability.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): Primary 03C45, 03G50
10	André Kaup, Til Aach	Coding of segmented images using shape-independent basis functions.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
10	Reinhard Pichler	Extending Decidable Clause Classes via Constraints.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
10	John Harrison 0001	Formalizing Basic First Order Model Theory.	TPHOLs	1998	DBLP DOI BibTeX RDF
10	Anna Mikhajlova, Joakim von Wright	Proving Isomorphism of First-Order Logic Proof Systems in HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF