Search results for "simplification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Aravind Kalaiah, Amitabh Varshney	Modeling and Rendering of Points with Local Geometry.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	point sample rendering, per-pixel shading, Differential geometry, simplification
20	Yong-Jin Liu, Matthew Ming-Fai Yuen	Optimized triangle mesh reconstruction from unstructured points.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Geometric modeling, Mesh simplification, Mesh optimization, Three-dimensional shape recovery
20	Gisela Klette	Simple Points in 2D and 3D Binary Images.	CAIP	2003	DBLP DOI BibTeX RDF	simple deformations, shape simplification, topology, thinning, simple points
20	Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warren	Dual contouring of hermite data.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	crack prevention, polyhedral simplification, quadratic error functions, contouring, implicit functions
20	Renato Pajarola	FastMesh: Efficient View-Dependent Meshing Renato P.	PG	2001	DBLP DOI BibTeX RDF	level-of-detail, mesh simplification, interactive rendering, multiresolution modeling
20	Tobias Müller	Promoting Constraints to First-Class Status.	Computational Logic	2000	DBLP DOI BibTeX RDF	first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
20	Paolo Cignoni, Enrico Puppo, Roberto Scopigno	Representation and visualization of terrain surfaces at variable resolution.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Variable resolution representations, Terrain visualization, Surface simplification, Digital terrain modeling
20	Paulo J. L. Nunes, Fernando Pereira 0001, Ferran Marqués	Multi-grid chain coding of binary shapes.	ICIP (3)	1997	DBLP DOI BibTeX RDF	multi-grid chain coding, binary shapes, near-lossless coding, differential chain code method, MGCC, INTRA prediction modes, INTER prediction modes, near-lossless contour coding technique, contour description, contour prediction, contour simplification, delay, video coding, motion compensation, edges, residues, video objects, MPEG-4 standard, lossless coding, lossy coding, object-based video coding
20	Hassan Aït-Kaci, Andreas Podelski	Functions as Passive Constraints in LIFE.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming
20	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
20	J. C. Huang 0001	State Constraints and Pathwise Decomposition of Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification
18	Christopher Dyken, Morten Dæhlen, Thomas Sevaldrud	Simultaneous curve simplification.	J. Geogr. Syst.	2009	DBLP DOI BibTeX RDF	JEL C63
18	Pierre-François Marteau, Gildas Ménier	Speeding up simplification of polygonal curves using nested approximations.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Dynamic programming, Multiresolution, Polygonal approximation
18	Rabiah Abdul Kadir, Tengku M. T. Sembok, Halimah Badioze Halimah	Generating 3D Visual Expression Using Semantic Simplification Description Based on Logical Representation.	IVIC	2009	DBLP DOI BibTeX RDF	Visual Expression, Precision Answer Extraction, Question Answering System, Logical Representation
18	Joel Daniels II, Cláudio T. Silva, Jason Shepherd, Elaine Cohen	Quadrilateral mesh simplification.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
18	Hasan Amjad	LCF-Style Propositional Simplification with BDDs and SAT Solvers.	TPHOLs	2008	DBLP DOI BibTeX RDF
18	Tim Dwyer, Nathan Hurst, Damian Merrick	A Fast and Simple Heuristic for Metro Map Path Simplification.	ISVC (2)	2008	DBLP DOI BibTeX RDF
18	Vincenzo Del Fatto, Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora	Spatial Factors Affecting User's Perception in Map Simplification: An Empirical Analysis.	W2GIS	2008	DBLP DOI BibTeX RDF	Ramer-Douglas-Peucker Algorithm, Cognitive Aspects, ANOVA Test, Human Factors, Maps, Controlled Experiment
18	Matías Urenda Moris, Amos H. C. Ng, Jacob Svensson	Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation.	WSC	2008	DBLP DOI BibTeX RDF
18	Pengdong Gao, Li Ameng, Yongquan Lu, Jintao Wang, Nan Li, Wenhua Yu	Adaptive Mesh Simplification Using Vertex Clustering with Topology Preserving.	CSSE (2)	2008	DBLP DOI BibTeX RDF
18	Mahmoud Ghoniem, Youssef Chahir, Abderrahim Elmoataz	Video Denoising and Simplification Via Discrete Regularization on Graphs.	ACIVS	2008	DBLP DOI BibTeX RDF
18	Huihai Lu, John C. Woods, M. Ghanbari 0001	Binary Partition Tree Analysis Based on Region Evolution and Its Application to Tree Simplification.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
18	W. K. Chan 0001, Jeffrey C. F. Ho, T. H. Tse	Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
18	Jon Mikkelsen Hjelmervik, Jean-Claude Léon	GPU-Accelerated Shape Simplification for Mechanical-Based Applications.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
18	Frédéric Payan, Stefanie Hahmann, Georges-Pierre Bonneau	Deforming surface simplification based on dynamic geometry sampling.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
18	Huijie Zhang, Jigui Sun, Changsong Qi, Nan Lv	A New Seamless Multi-resolution Simplification Method for the Terrain Model.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
18	Bill Andreopoulos, Aijun An, Xiaogang Wang 0007	Hierarchical Density-Based Clustering of Categorical Data and a Simplification.	PAKDD	2007	DBLP DOI BibTeX RDF
18	Songxin Liang, David J. Jeffrey	Rule-Based Simplification in Vector-Product Spaces.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
18	Steven G. Johnson, Matteo Frigo	Comments on "Method of flow graph simplification for the 16-point discrete Fourier Transform".	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
18	Xiuwen Liu, Cui Xie, Yicheng Jin	Feature-Preserving Simplification of Texture-Mapped Models.	CGIV	2006	DBLP DOI BibTeX RDF
18	Sven Groppe, Stefan Böttcher, Jinghua Groppe	XPath Query Simplification with regard to the Elimination of Intersect and Except Operators.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
18	Leiming Xu, Yong Xiang, Meilin Shi	A novel channel assignment algorithm based on topology simplification in multi-radio wirelesss mesh networks.	IPCCC	2006	DBLP DOI BibTeX RDF
18	Guoqiang Fei, Yonghuai Liu, Baogang Wei, Longzhuang Li	Discontinuity-Based Simplification of Free Form Surface From a Range Image.	ICPR (4)	2006	DBLP DOI BibTeX RDF
18	Henning Christiansen 0001, Davide Martinenghi	On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
18	Soo-Kyun Kim, Sun-Jeong Kim, Chang-Hun Kim	Extraction of Ridges-Valleys for Feature-Preserving Simplification of Polygonal Models.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
18	Sheng Li 0008, Junfeng Ji, Xuehui Liu, Guoping Wang, Enhua Wu	Perception-Guided Simplification for Real Time Navigation of Very Large-Scale Terrain Environments.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
18	Yuanzhuo Wang, Chuang Lin 0002, Yang Yang 0004, Yang Qu	Grid Service Workflow Models and Their Equivalent Simplification Methods.	GCC Workshops	2006	DBLP DOI BibTeX RDF
18	Jian-ping Ma, Xiaonan Luo, Shi-jia Ma, Guifeng Zheng	Meshes Simplification Based on Reverse Subdivision.	ICAT	2006	DBLP DOI BibTeX RDF
18	Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos	Restricted Mesh Simplification Using Edge Contractions.	COCOON	2006	DBLP DOI BibTeX RDF
18	W. H. Muthumala, Masanori Hariyama, Michitaka Kameyama	GA-Based Assignment of Supply and Threshold Voltages and Interconnection Simplification for Low Power VLSI Design.	APCCAS	2006	DBLP DOI BibTeX RDF
18	Dmitri Maslov, Christina Young, D. Michael Miller, Gerhard W. Dueck	Quantum Circuit Simplification Using Templates.	DATE	2005	DBLP DOI BibTeX RDF
18	Eduardo Romero-Aguirre, Juan Carlos Murrieta-Lee	A Survey of the Graphic Alternate Method for Boolean Functions Simplification.	CONIELECOMP	2005	DBLP DOI BibTeX RDF	Subminiterms, logic adjacency, variable-entered, miniterms rings, prime implicant
18	Jorge Posada, Carlos Toro 0001, Stefan Wundrak, André Stork	Ontology Supported Semantic Simplification of Large Data Sets of Industrial Plant CAD Models for Design Review Visualization.	KES (3)	2005	DBLP DOI BibTeX RDF
18	Bernardo Cuenca Grau	A possible simplification of the semantic web architecture.	WWW	2004	DBLP DOI BibTeX RDF	resource description framework schema (RDF-schema), semantic web, description logics, resource description framework (RDF), ontology web language (OWL)
18	Özgür Ulucay, Sarp Ertürk	3-Dimensional Object Modeling with Mesh Simplification Based Resolution Adjustment.	3DPVT	2004	DBLP DOI BibTeX RDF
18	Henning Christiansen 0001, Davide Martinenghi	Simplification of Integrity Constraints for Data Integration.	FoIKS	2004	DBLP DOI BibTeX RDF
18	Martin Allen, Shlomo Zilberstein	Automated Conversion and Simplification of Plan Representations.	AAMAS	2004	DBLP DOI BibTeX RDF
18	Carlos D. Correa, Ivan Marsic	A Simplification Architecture for Exploring Navigation Tradeoffs in Mobile VR.	VR	2004	DBLP DOI BibTeX RDF
18	Miguel A. Otaduy, Ming C. Lin	Sensation preserving simplification for haptic rendering.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	haptics, collision detection, level-of-detail algorithms
18	Bing-Yu Chen 0004, Tomoyuki Nishita	An Efficient Mesh Simplification Method with Feature Detection for Unstructured Meshes and Web Graphics.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
18	Michelangelo Ceci, Annalisa Appice, Donato Malerba	Simplification Methods for Model Trees with Regression and Splitting Nodes.	MLDM	2003	DBLP DOI BibTeX RDF
18	Martin Giese	Simplification Rules for Constrained Formula Tableaux.	TABLEAUX	2003	DBLP DOI BibTeX RDF
18	Michael Shafae, Renato Pajarola	DStrips: Dynamic Triangle Strips for Real-Time Mesh Simplification and Rendering.	PG	2003	DBLP DOI BibTeX RDF
18	Holger Theisel, Christian Rössl, Hans-Peter Seidel	Combining Topological Simplification and Topology Preserving Compression for 2D Vector Fields.	PG	2003	DBLP DOI BibTeX RDF
18	Richard J. Fateman	High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.	ISSAC	2003	DBLP DOI BibTeX RDF	Bessel, proof, differentiation, recurrence, sine
18	Herbert Edelsbrunner, David Letscher, Afra Zomorodian	Topological Persistence and Simplification.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
18	Guangming Li, Jie Tian 0001, Mingchang Zhao, Huiguang He, Xiaopeng Zhang 0001	A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric.	ICPR (2)	2002	DBLP DOI BibTeX RDF
18	Alan Mishchenko, Robert K. Brayton	Simplification of non-deterministic multi-valued networks.	ICCAD	2002	DBLP DOI BibTeX RDF
18	Martin Franc, Václav Skala	Fast Algorithm for Triangular Mesh Simplification Based on Vertex Decimation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
18	Josef Schicho	Simplification of surface parametrizations.	ISSAC	2002	DBLP DOI BibTeX RDF
18	Ha Q. Le	Simplification of definite sums of rational functions by creative symmetrizing method.	ISSAC	2002	DBLP DOI BibTeX RDF
18	David P. Luebke	A Developer's Survey of Polygonal Simplification Algorithms.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
18	Chin-Wang Tao	Simplification of a fuzzy mechanism with rule combination.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Rule combination, Don't care conditions
18	Luiz Velho 0001	Mesh Simplification Using Four-Face Clusters.	Shape Modeling International	2001	DBLP DOI BibTeX RDF	variable resolution, 4-k meshes, adaptation, level of detail
18	Yuval Bistritz	Scattering and immittance type tabular stability tests for 2-D discrete-time systems and their simplification by telepolation.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
18	Thomas Barkowsky, Longin Jan Latecki, Kai-Florian Richter	Schematizing Maps: Simplification of Geographic Shape by Discrete Curve Evolution.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
18	João Marques-Silva 0001	Algebraic Simplification Techniques for Propositional Satisfiability.	CP	2000	DBLP DOI BibTeX RDF
18	Daniel DeMenthon, Longin Jan Latecki, Azriel Rosenfeld, Marc Vuilleumier Stückelberg	Relevance Ranking of Video Data using Hidden Markov Model Distances and Polygon Simplification.	VISUAL	2000	DBLP DOI BibTeX RDF
18	Dmitry Brodsky, Benjamin Watson 0001	Model Simplification for Interactive Applications.	VR	2000	DBLP DOI BibTeX RDF
18	Oscar Guerra, Juan D. Rodríguez-García, Elisenda Roca, Francisco V. Fernández 0001, Ángel Rodríguez-Vázquez	An Accurate Error Control Mechanism for Simplification Before Generation Algorihms.	DATE	1999	DBLP DOI BibTeX RDF
18	Masahiro Fukumoto, Hajime Kubota, Shigeo Tsujii	Simplification of stochastic fastest NLMS algorithm.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
18	Mireille Larnac, Janine Magnier, Vincent Chapurlat	Simplification of Proof Procedures Based on the Path Condition Concepts.	EUROCAST	1999	DBLP DOI BibTeX RDF
18	Ullrich Hustadt, Renate A. Schmidt	Simplification and Backjumping in Modal Tableau.	TABLEAUX	1998	DBLP DOI BibTeX RDF
18	Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman	Physically-Based Stochastic Simplification of Mathematical Knots.	IEEE Trans. Vis. Comput. Graph.	1997	DBLP DOI BibTeX RDF	knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization
18	Thomas Arts, Jürgen Giesl	Automatically Proving Termination Where Simplification Orderings Fail.	TAPSOFT	1997	DBLP DOI BibTeX RDF
18	Gautam Bhargava, Piyush Goel, Balakrishna R. Iyer	Simplification of outer joins.	CASCON	1995	DBLP BibTeX RDF
18	Tsutomu Sasao	EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
18	Manfred A. Jeusfeld, Matthias Jarke	From Relational to Object-Oriented Integrity Simplification.	DOOD	1991	DBLP DOI BibTeX RDF
18	Frank Pfenning, Dan Nesmith	Presenting Intuitive Deductions via Symmetric Simplification.	CADE	1990	DBLP DOI BibTeX RDF
18	Leo Bachmair, Harald Ganzinger	On Restrictions of Ordered Paramodulation with Simplification.	CADE	1990	DBLP DOI BibTeX RDF
18	Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Multi-level Logic Simplification Using Don't Cares and Filters.	DAC	1989	DBLP DOI BibTeX RDF
18	Alberto Pettorossi	Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems.	ICALP	1981	DBLP DOI BibTeX RDF
18	Ellen R. Clark	On the automatic simplification of source-language programs.	Commun. ACM	1967	DBLP DOI BibTeX RDF
13	Marcus Roy	Towards end-user enabled web service consumption for Mashups.	ICSE (2)	2010	DBLP DOI BibTeX RDF	WS-*, SOA, Web 2.0, folksonomy, Enterprise Mashup
13	Guillaume Lavoué	A local roughness measure for 3D meshes and its application to visual masking.	ACM Trans. Appl. Percept.	2009	DBLP DOI BibTeX RDF	Curvature, Masking, 3D mesh, subjective evaluation, Roughness
13	Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Effective interactive proofs for higher-order imperative programs.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, dependent types, separation logic, interactive proof assistants
13	Huanglin Zeng, Xiaohui Zeng	Reasoning Decision Rules of an Uncertain System.	RSKT	2009	DBLP DOI BibTeX RDF	An uncertain information system, Information coverage, Data mining, Rough sets, Statistical methods, Decision rules
13	Federico Ponchio, Kai Hormann	Interactive Rendering of Dynamic Geometry.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
13	Samia Nefti, Mourad Oussalah 0002, Uzay Kaymak	A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
13	Mehdi Amirijoo, Pål K. Frenger, Fredrik Gunnarsson, Harald Kallin, Johan Moe, Kristina Zetterberg	Neighbor cell relation list and measured cell identity management in LTE.	NOMS	2008	DBLP DOI BibTeX RDF
13	M. Prem Laxman Das, Palash Sarkar 0001	Pairing Computation on Twisted Edwards Form Elliptic Curves.	Pairing	2008	DBLP DOI BibTeX RDF	Edwards form, Miller function, supersingular curves, elliptic curve, pairings
13	Yang Liu 0013, Balakrishnan Prabhakaran 0001, Xiaohu Guo	A robust spectral approach for blind watermarking of manifold surfaces.	MM&Sec	2008	DBLP DOI BibTeX RDF	manifold harmonics transform, spectral watermark, blind, 3d mesh
13	Sebastian Kupferschmid, Jörg Hoffmann 0001, Kim Guldstrand Larsen	Fast Directed Model Checking Via Russian Doll Abstraction.	TACAS	2008	DBLP DOI BibTeX RDF
13	Min Han, Xinzhe Wang, Yijie Wang	Applying ICA on neural network to simplify BOF endpiont predicting model.	IJCNN	2008	DBLP DOI BibTeX RDF
13	Daniel Elenius, Grit Denker, Mark-Oliver Stehr	A Semantic Web Reasoner for Rules, Equations and Constraints.	RR	2008	DBLP DOI BibTeX RDF
13	Wei Pei, Wen-Ben Jone, Yiming Hu	Fault Modeling and Detection for Drowsy SRAM Caches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
13	Scott E. Dillard, John Bingert, Dan Thoma, Bernd Hamann	Construction of Simplified Boundary Surfaces from Serial-sectioned Metal Micrographs.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Visualization in Physical Sciences, Life Sciences and Engineering, Polygonal meshes, Surface extraction
13	Luis M. San-José-Revuelta	Hypotheses Control-based Strategies for the Development of Near-optimum Bayesian Detectors for CDMA Systems.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	Bayesian approach, Multiple-Access Interference, CDMA systems
13	Edgar Bermudez Contreras	A biologically inspired solution for an evolved simulated agent.	GECCO	2007	DBLP DOI BibTeX RDF	evolution of sensors, evolutionary robotics, adaptive behaviour
13	Guillaume Lavoué	A roughness measure for 3D mesh visual masking.	APGV	2007	DBLP DOI BibTeX RDF	curvature, masking, 3D mesh, roughness