Search results for "local properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Leonid Libkin	Logics capturing local properties.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	locality, logic, counting
2	Leonid Libkin	Logics Capturing Local Properties.	STACS	2000	DBLP DOI BibTeX RDF
2	Paul Checchin, Laurent Trassoudaine, Joseph Alizon	Segmentation of Range Images into Planar Regions.	3DIM	1997	DBLP DOI BibTeX RDF	planar regions, computational procedure, range image discontinuities, surface-based description, image segmentation, image representation, merging, pixel, hybrid approach, range image segmentation, range sensors, region adjacency graph, local properties, irregular pyramid, input data
2	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
1	Virjanand Panday, Wouter M. Bergmann Tiest, Astrid M. L. Kappers	Influence of Local Properties on the Perception of Global Object Orientation.	IEEE T. Haptics	2012	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Local properties in modal logic.	Artif. Intell.	2012	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Reasoning about local properties in modal logic.	AAMAS	2011	DBLP BibTeX RDF
1	Mehmet Ali Sarigöl	On the local properties of factored Fourier series.	Applied Mathematics and Computation	2010	DBLP DOI BibTeX RDF
1	Mudit Agrawal, David S. Doermann	Context-aware and content-based dynamic Voronoi page segmentation.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	context driven, page segmentation, unsupervised classification, Voronoi tessellation, Voronoi
1	Hüseyin Bor	Local properties of factored Fourier series.	Applied Mathematics and Computation	2009	DBLP DOI BibTeX RDF
1	Nils Rosemann, Werner Brockmann, Bastian Neumann	Enforcing Local Properties in Online Learning First Order TS-fuzzy Systems by Incremental Regularization.	IFSA/EUSFLAT Conf.	2009	DBLP BibTeX RDF
1	Wael Emara, Mehmed M. Kantardzic	Local properties of RBF-SVM during training for incremental learning.	IJCNN	2009	DBLP DOI BibTeX RDF
1	Ramsay Dyer, Hao Zhang 0002, Torsten Möller	Gabriel meshes and Delaunay edge flips.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	Delaunay mesh, Gabriel complex, manifold triangle mesh
1	Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli	Detecting outlying properties of exceptional objects.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	outlier characterization, Data mining, knowledge discovery
1	Wael Emara, Mehmed M. Kantardzic	The locality of RBF-SVM for incremental learning.	CIDM	2009	DBLP DOI BibTeX RDF
1	Fan-jie Meng, Bao-Long Guo, Lei Guo	Image Retrieval Based on 2D Histogram of Interest Points.	IAS	2009	DBLP DOI BibTeX RDF
1	Ahmet Bulut, Nick Koudas, Anand Meka, Ambuj K. Singh, Divesh Srivastava	Optimization Techniques for Reactive Network Monitoring.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Elnaz Barshan, Mina Behravan, Zohreh Azimifar	Learning an Efficient Texture Model by Supervised Nonlinear Dimensionality Reduction Methods.	CIARP	2009	DBLP DOI BibTeX RDF	Dimensionality Reduction, Texton, Texture Recognition
1	Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshelle	Feedback Vertex Set on Graphs of Low Cliquewidth.	IWOCA	2009	DBLP DOI BibTeX RDF
1	Marina I. Knight, Guy P. Nason	A 'nondecimated' lifting transform.	Statistics and Computing	2009	DBLP DOI BibTeX RDF	Nondecimation, Basis averaging, Wavelets, Lifting, Nonparametric regression
1	Thanh Phuong Nguyen, Isabelle Debled-Rennesson	On the Local Properties of Digital Curves.	International Journal of Shape Modeling	2008	DBLP DOI BibTeX RDF
1	Jean Cardinal, Sébastien Collette, Stefan Langerman	Local properties of geometric graphs.	Comput. Geom.	2008	DBLP DOI BibTeX RDF
1	Waqas Rasheed, Youngeun An, Sung Bum Pan, Ilhoe Jeong, Jong-An Park, Jinsuk Kang	Image Retrieval Using Maximum Frequency of Local Histogram Based Color Correlogram.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	CBIR, Color Histogram, Multimedia Data, Correlogram, Local Properties
1	Waqas Rasheed, Youngeun An, Sung Bum Pan, Ilhoe Jeong, Jong-An Park, Jinsuk Kang	Image Retrieval Using Maximum Frequency of Local Histogram Based Color Correlogram.	MUE	2008	DBLP DOI BibTeX RDF	Histogram Frequency, CBIR, Correlogram, Local Properties
1	Waqas Rasheed, Gwangwon Kang, Jinsuk Kang, Jonghun Chun, Jong-An Park	Sum of Values of Local Histograms for Image Retrieval.	NCM	2008	DBLP DOI BibTeX RDF	Histogram bins, Grayscale, Multimedia, CBIR, Local Properties
1	Elizabeth L. Mansfield	Digital atlases and difference forms.	ISSAC	2008	DBLP DOI BibTeX RDF	difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology
1	Anastassia Angelopoulou, Alexandra Psarrou, José García Rodríguez, Gaurav Gupta	Active-GNG: model acquisition and tracking in cluttered backgrounds.	VNBA	2008	DBLP DOI BibTeX RDF	nonrigid shapes, self-organising networks, tracking, unsupervised learning
1	Antoni Chica	Visibility-based feature extraction from discrete models.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	segmentation, isosurfaces, voxels, point clouds, feature identification
1	Forrester Cole, Aleksey Golovinskiy, Alex Limpaecher, Heather Stoddart Barros, Adam Finkelstein, Thomas A. Funkhouser, Szymon Rusinkiewicz	Where do people draw lines?	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
1	Juho Kannala, Esa Rahtu, Sami S. Brandt, Janne Heikkilä	Object recognition and segmentation by non-rigid quasi-dense matching.	CVPR	2008	DBLP DOI BibTeX RDF
1	Minh Hoai Nguyen, Fernando De la Torre	Local minima free Parameterized Appearance Models.	CVPR	2008	DBLP DOI BibTeX RDF
1	Piotr Mitros	Constraint modules: An introduction.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Russell Miller, Dustin Mulcahey	Perfect Local Computability and Computable Simulations.	CiE	2008	DBLP DOI BibTeX RDF	perfect local computability, simulation, computability, Category theory, local computability
1	Jacopo Grazzini, Pierre Soille	Adaptive Morphological Filtering Using Similarities Based on Geodesic Time.	DGCI	2008	DBLP DOI BibTeX RDF
1	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
1	Man-Kwan Shan, Meng-Fen Chiang, Fang-Fei Kuo	Relevance feedback for category search in music retrieval based on semantic concept learning.	Multimedia Tools Appl.	2008	DBLP DOI BibTeX RDF	Category search, Semantic concept learning, Relevance feedback, Music retrieval
1	Vivek S. Borkar, D. Manjunath	Distributed topology control of wireless networks.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Mobility, System design, Power control, Topology control, Control theory, Network connectivity
1	Jesús Gómez-Gardeñes, Yamir Moreno	Synchronization of Networks with Variable Local Properties.	I. J. Bifurcation and Chaos	2007	DBLP DOI BibTeX RDF
1	Antoni W. Mazurkiewicz	Local Properties of Triangular Graphs.	Fundam. Inform.	2007	DBLP BibTeX RDF
1	Edoardo Provenzi, Massimo Fierro, Alessandro Rizzi, L. De Carli, Davide Gadia, Daniele Marini	Random Spray Retinex: A New Retinex Implementation to Investigate the Local Properties of the Model.	IEEE Transactions on Image Processing	2007	DBLP DOI BibTeX RDF
1	Leonardo Bobadilla, Fernando Niño, Edilberto Cepeda, Manuel A. Patarroyo	Characterizing and Predicting Catalytic Residues in Enzyme Active Sites Based on Local Properties: A Machine Learning Approach.	BIBE	2007	DBLP DOI BibTeX RDF
1	Chun-Hsien Chou, Kuo-Cheng Liu, Wei-Yu Lee	Adaptive Color Filter Array Demosaicking Based on Constant Hue and Local Properties of Luminance.	PSIVT	2007	DBLP DOI BibTeX RDF	Color filter array, demosaicking, luminance, hue
1	Ali E. Hameed, Majid A. Alwan	Robustness-Conserved Partially Host-Adaptive Watermarking Using a Baseband-Spread Spectrum Coding Technique.	AICCSA	2007	DBLP DOI BibTeX RDF
1	Michael L. Case, Alan Mishchenko, Robert K. Brayton	Automated Extraction of Inductive Invariants to Aid Model Checking.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Muwei Jian, Junyu Dong, Rong Jiang	Wavelet-Based Salient Regions and their Spatial Distribution for Image Retrieval.	ICME	2007	DBLP DOI BibTeX RDF
1	Abubakr Muhammad, Ali Jadbabaie	Asymptotic Stability of Switched Higher Order Laplacians.	HSCC	2007	DBLP DOI BibTeX RDF
1	Shuyu Sun, Jürgen Geiser	Multiscale Discontinuous Galerkin Methods for Modeling Flow and Transport in Porous Media.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
1	Anastassia Angelopoulou, Alexandra Psarrou, Gaurav Gupta, José García Rodríguez	Nonparametric Modelling and Tracking with Active -GNG.	ICCV-HCI	2007	DBLP DOI BibTeX RDF
1	Jacques Julliand, Hassan Mountassir, Emilie Oudot	VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.	ICFEM	2007	DBLP DOI BibTeX RDF	?-simulation, integration of components, preservation of linear-time properties, timed systems
1	M. Ali Akber Dewan, M. Julius Hossain, Oksam Chae	A Block Based Moving Object Detection Utilizing the Distribution of Noise.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
1	Francesco Buccafurri, Gianluca Lax	Enabling Selective Flooding to Reduce P2P Traffic.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	Mihai Anitescu, Paul Tseng, Stephen J. Wright	Elastic-mode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties.	Math. Program.	2007	DBLP DOI BibTeX RDF	AMS Subject Classifications 49M30, 90C30, 65K05, 90C33, 49M37
1	James D'Arcy Walsh, Francis Bordeleau, Bran Selic	Domain analysis of dynamic system reconfiguration.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	based systems, driven development, Model-, UML, Component, Software evolution, Dynamic reconfiguration, System integrity, Feature modeling, Alloy
1	Sven Kabus, Astrid Franz, Bernd Fischer	Variational Image Registration with Local Properties.	WBIR	2006	DBLP DOI BibTeX RDF
1	D'Arcy Walsh, Francis Bordeleau, Bran Selic	Change Types of Dynamic System Reconfiguration.	ECBS	2006	DBLP DOI BibTeX RDF
1	Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir	Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Lahouari Ghouti, Ahmed Bouridane, Mohammad K. Ibrahim, Said Boussakta	Digital image watermarking using balanced multiwavelets.	IEEE Transactions on Signal Processing	2006	DBLP DOI BibTeX RDF
1	Markus Rütten, Min S. Chong	Analyzing Vortex Breakdown Flow Structures by Assignment of Colors to Tensor Invariants.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Tensor field Topology, Invariants, Flow visualization
1	Huachun Tan, Yu-Jin Zhang	An Energy Minimization Process for Extracting Eye Feature Based on Deformable Template.	ACCV	2006	DBLP DOI BibTeX RDF
1	Yinghua Lu, Qiushi Zhao, Jun Kong, Changhua Tang, Yanwen Li	A Two-Stage Region-Based Image Retrieval Approach Using Combined Color and Texture Features.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
1	Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler	Stronger Reduction Criteria for Local First Search.	ICTAC	2006	DBLP DOI BibTeX RDF
1	Yusuf Sahillioglu, Yücel Yemez	A Surface Deformation Framework for 3D Shape Recovery.	MRCS	2006	DBLP DOI BibTeX RDF
1	Peter Niebert, Doron Peled	Efficient Model Checking for LTL with Partial Order Snapshots.	TACAS	2006	DBLP DOI BibTeX RDF
1	Barak Blumenfeld, Dmitri Bibitchkov, Misha Tsodyks	Neural network model of the primary visual cortex: From functional architecture to lateral connectivity and back.	Journal of Computational Neuroscience	2006	DBLP DOI BibTeX RDF	Orientation selectivity, Visual cortex, Neural network model, Optical imaging, Spontaneous activity
1	Matthew A. Nunes, Marina I. Knight, Guy P. Nason	Adaptive lifting for nonparametric regression.	Statistics and Computing	2006	DBLP DOI BibTeX RDF	Curve estimation, Wavelets, Lifting, Nonparametric regression
1	John See, Madasu Hanmandlu, Shantaram Vasikarla	Fuzzy-based Parameterized Gaussian Edge Detector Using Global and Local Properties.	ITCC	2005	DBLP DOI BibTeX RDF	Gaussian edge detector, Gaussian membership function, contrast intensification, entropy optimization, Image enhancement
1	Hwann-Tzong Chen, Tyng-Luh Liu, Tien-Lung Chang	Tone Reproduction: A Perspective from Luminance-Driven Perceptual Grouping.	CVPR	2005	DBLP DOI BibTeX RDF
1	Karljohan Lundin, Björn Gudmundsson, Anders Ynnerman	General Proxy-Based Haptics for Volume Visualization.	WHC	2005	DBLP DOI BibTeX RDF
1	Fabio Scotti, Marco Gamassi, Vincenzo Piuri	Fingerprint local analysis for high-performance minutiae extraction.	ICIP	2005	DBLP DOI BibTeX RDF
1	Matthew Gaubatz, Sheila S. Hemami	Fast, accurate rate-control for low-rate wavelet-based image coding via bootstrapping with local probability models.	ICIP	2005	DBLP DOI BibTeX RDF
1	Gianni Antini, Stefano Berretti, Alberto Del Bimbo, Pietro Pala	3D Mesh Partitioning for Retrieval by Parts Applications.	ICME	2005	DBLP DOI BibTeX RDF
1	Vivek S. Borkar, D. Manjunath	Distributed Topology Control of Wireless Networks.	WiOpt	2005	DBLP DOI BibTeX RDF	mobility, system design, power control, topology control, control theory, network connectivity
1	Ju Jia Zou, Hong Yan	A deblocking method for BDCT compressed images based on adaptive projections.	IEEE Trans. Circuits Syst. Video Techn.	2005	DBLP DOI BibTeX RDF
1	Charnchai Pluempitiwiriyawej, José M. F. Moura, Yi-Jen Lin Wu, Chien Ho	STACS: new active contour scheme for cardiac MR image segmentation.	IEEE Trans. Med. Imaging	2005	DBLP DOI BibTeX RDF
1	Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur	Formalisation and Analysis of the Temporal Dynamics of Conditioning.	AOSE	2005	DBLP DOI BibTeX RDF
1	Ke Huang, Michelle Yan	A Local Adaptive Algorithm for Microaneurysms Detection in Digital Fundus Images.	CVBIA	2005	DBLP DOI BibTeX RDF
1	Amir Houman Sadr, Shahrokh Ghaemmaghami	Robustness Enhancement of Content-Based Watermarks Using Entropy Masking Effect.	IWDW	2005	DBLP DOI BibTeX RDF
1	Wenyin Zhang, Zhenli Nie, Zhenbing Zeng	Image Retrieval Based on Salient Points from DCT Domain.	MICAI	2005	DBLP DOI BibTeX RDF	Image Retrieval, Discrete Cosine Transformation, Salient Point
1	Xiaodong Tao, Christos Davatzikos, Jerry L. Prince	Using the Fast Marching Method to Extract Curves with Given Global Properties.	MICCAI	2005	DBLP DOI BibTeX RDF
1	Hwann-Tzong Chen, Tyng-Luh Liu, Chiou-Shann Fuh	Tone Reproduction: A Perspective from Luminance-Driven Perceptual Grouping.	International Journal of Computer Vision	2005	DBLP DOI BibTeX RDF
1	Dietrich Kuske, Markus Lohrey	Decidable First-Order Theories of One-Step Rewriting in Trace Monoids.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
1	Jean Claude Nunes, S. Guyot, Éric Deléchelle	Texture analysis based on local analysis of the Bidimensional Empirical Mode Decomposition.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Riesz transform, Monogenic signal, Structure multi-vector, Mathematical morphology, Texture analysis, Empirical mode decomposition, Surface interpolation, Hilbert-Huang transform
1	Bernd Ehresmann, Marcel J. de Groot, Alexander Alex, Timothy Clark	New Molecular Descriptors Based on Local Properties at the Molecular Surface and a Boiling-Point Model Derived from Them.	Journal of Chemical Information and Modeling	2004	DBLP DOI BibTeX RDF
1	Jean Cardinal, Sébastien Collette, Stefan Langerman	Local properties of geometric graphs.	CCCG	2004	DBLP BibTeX RDF
1	Koby Crammer, Gal Chechik	A needle in a haystack: local one-class optimization.	ICML	2004	DBLP DOI BibTeX RDF
1	Rómer Rosales, Kannan Achan, Brendan J. Frey	Learning to cluster using local neighborhood structure.	ICML	2004	DBLP DOI BibTeX RDF
1	Jaume Amores, Nicu Sebe, Petia Radeva, Theo Gevers, Arnold W. M. Smeulders	Boosting contextual information in content-based image retrieval.	Multimedia Information Retrieval	2004	DBLP DOI BibTeX RDF	content-based image retrieval oject recognition, boosting, contextual information
1	EunSang Bak	Bayesian Segmentation Supported by Neighborhood Configurations.	CRV	2004	DBLP DOI BibTeX RDF
1	Ramin Zabih, Vladimir Kolmogorov	Spatially Coherent Clustering Using Graph Cuts.	CVPR	2004	DBLP DOI BibTeX RDF
1	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
1	Giorgio Giacinto, Fabio Roli	Nearest-Prototype Relevance Feedback for Content Based Image Retrieval.	ICPR	2004	DBLP DOI BibTeX RDF
1	Ju Jia Zou	Reducing Artifacts in BDCT-Coded Images by Adaptive Pixel-Adjustment.	ICPR	2004	DBLP DOI BibTeX RDF
1	EunSang Bak, Kayvan Najarian	Robust Segmentation Using Parametric and Nonparametric Local Spatial Posteriors.	ITCC	2004	DBLP DOI BibTeX RDF
1	Christoph Sprenger, Dilian Gurov, Marieke Huisman	Compositional verification for secure loading of smart card applets.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Francisco Antonio Pujol López, Juan Manuel García Chamizo, Mar Pujol López, Ramón Rizo Aldeguer, Maria José Pujol	Selection of an Automated Morphological Gradient Threshold for Image Segmentation.	CIARP	2004	DBLP DOI BibTeX RDF
1	Tibor Bosse, Catholijn M. Jonker, Jan Treur	Representational Content and the Reciprocal Interplay of Agent and Environment.	DALT	2004	DBLP DOI BibTeX RDF
1	Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov	Checking Absence of Illicit Applet Interactions: A Case Study.	FASE	2004	DBLP DOI BibTeX RDF
1	Francisco Antonio Pujol López, Pablo Suau Pérez, Mar Pujol López, Ramón Rizo Aldeguer, Maria José Pujol	Selection of an Automated Morphological Gradien Threshold for Image Segmentation. Application to Vision-Based Path Planning.	IBERAMIA	2004	DBLP DOI BibTeX RDF
1	Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut, Jan Treur	Simulation and Analysis of Shared Extended Mind.	MABS	2004	DBLP DOI BibTeX RDF
1	Xin Yuan, Pengcheng Shi	Physics Based Contrast Marking and Inpainting Based Local Texture Comparison for Clustered Microcalcification Detection.	MICCAI	2004	DBLP DOI BibTeX RDF