Search results for "simplification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Harald Zankl, Nao Hirokawa, Aart Middeldorp	Constraints for Argument Filterings.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
13	Xuewei Zhao, Xukun Shen, Yue Qi	Texture-Meshes in Digital Museum: Octree-Initialized Progressive Transmission with Feature Preservation.	Edutainment	2007	DBLP DOI BibTeX RDF
13	Mitsuhiro Yoneda, Hiroshi Tasaki, Naoki Tsuchiya, Hiroshi Nakajima, Takehiro Hamaguchi, Shojiro Oku, Toshikazu Shiga	A Study of Bioelectrical Impedance Analysis Methods for Practical Visceral Fat Estimation.	GrC	2007	DBLP DOI BibTeX RDF
13	R. Chouadria, Philippe Véron	Identifying and re-meshing contact interfaces in a polyhedral assembly for digital mock-up.	Eng. Comput.	2006	DBLP DOI BibTeX RDF	Contact detection, Triangulation, Assembly, Polyhedral model
13	Minsu Ahn, Igor Guskov, Seungyong Lee 0001	Out-of-Core Remeshing of Large Polygonal Meshes.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	semi-regular remeshing, shape compression, Out-of-core algorithm
13	Irene Cheng 0001, Pierre Boulanger	Adaptive online transmission of 3-D TexMesh using scale-space and visual perception analysis.	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
13	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
13	Serkan Kiranyaz, Miguel Ferreira, Moncef Gabbouj	Automatic Object Extraction Over Multiscale Edge Field for Multimedia Retrieval.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
13	Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss	Boolean Rings for Intersection-Based Satisfiability.	LPAR	2006	DBLP DOI BibTeX RDF
13	Alexander Aschrafi, Philipp Wertz, Michael Layh, Friedrich M. Landstorfer, Gerd Wölfle, René Wahl	Impact of Building Database Accuracy on Predictions with Wave Propagation Models in Urban Scenarios.	VTC Spring	2006	DBLP DOI BibTeX RDF
13	Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon	Carry Prediction and Selection for Truncated Multiplication.	SiPS	2006	DBLP DOI BibTeX RDF
13	Aurélien Max	Writing for Language-Impaired Readers.	CICLing	2006	DBLP DOI BibTeX RDF
13	Jun Xiao 0001, Yueting Zhuang, Tao Yang, Fei Wu 0001	An Efficient Keyframe Extraction from Motion Capture Data.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
13	Sanparith Marukatat	Sparse Kernel PCA by Kernel K-Means and Preimage Reconstruction Algorithms.	PRICAI	2006	DBLP DOI BibTeX RDF
13	Irene Cheng 0001, Rui Shen 0002, Xing-Dong Yang, Pierre Boulanger	Perceptual Analysis of Level-of-Detail: The JND Approach.	ISM	2006	DBLP DOI BibTeX RDF
13	Tianding Chen, Xianli Xu	Pose-Dependent Level of Detail Model for Animated Grids.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
13	Hyunchul Jang, Jaesoo Lim, Joon-Ho Lim, Soo-Jun Park, Seon-Hee Park, Kyu-Chul Lee	Extracting Protein-Protein Interactions in Biomedical Literature Using an Existing Syntactic Parser.	KDLL	2006	DBLP DOI BibTeX RDF
13	Fu-Chung Huang, Bing-Yu Chen 0004, Yung-Yu Chuang	Progressive deforming meshes based on deformation oriented decimation and dynamic connectivity updating.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
13	Liviu Coconu, Oliver Deussen, Hans-Christian Hege	Real-time pen-and-ink illustration of landscapes.	NPAR	2006	DBLP DOI BibTeX RDF	complex plant scenes, line art, real-time hatching, non-photorealistic rendering, level-of-detail, outdoor scenes
13	Irene Cheng 0001, Pierre Boulanger	Feature extraction on 3-D TexMesh using scale-space analysis and perceptual evaluation.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
13	Sung-Eui Yoon, Brian Salomon, Russell Gayle, Dinesh Manocha	Quick-VDR: Out-of-Core View-Dependent Rendering of Gigantic Models.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	levels-of-detail, occlusion culling, Interactive display, out-of-core algorithms, external-memory algorithm, view-dependent rendering
13	Stefan Szeider	Backdoor Sets for DLL Subsolvers.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	unit propagation, pure literal elimination, backdoor sets, W[P]-completeness, satisfiability, parameterized complexity
13	Min Zhou, Michela Bertolotto	Efficiently Generating Multiple Representations for Web Mapping.	W2GIS	2005	DBLP DOI BibTeX RDF
13	Rémi Allègre, Raphaëlle Chaine, Samir Akkouche	Convection-Driven Dynamic Surface Reconstruction.	SMI	2005	DBLP DOI BibTeX RDF
13	Peter Baumgartner 0001, Cesare Tinelli	The Model Evolution Calculus with Equality.	CADE	2005	DBLP DOI BibTeX RDF
13	Isil Celasun, Rupen Melkisetoglu, A. Murat Tekalp	Optimal Design of 2D/3D Hierarchical Content-Based Meshes for Multimedia.	DGCI	2005	DBLP DOI BibTeX RDF
13	Thomas Herstel, Ingo Schmitt	Relation-Collapse: An Optimisation Technique for the Similarity Algebra.	ADBIS	2005	DBLP DOI BibTeX RDF
13	Gilles Lebrun, Christophe Charrier, Olivier Lezoray, Cyril Meurie, Hubert Cardot	Fast Pixel Classification by SVM Using Vector Quantization, Tabu Search and Hybrid Color Space.	CAIP	2005	DBLP DOI BibTeX RDF
13	Paolo Cignoni, Fabio Ganovelli, Enrico Gobbetti, Fabio Marton, Federico Ponchio, Roberto Scopigno	Adaptive tetrapuzzles: efficient out-of-core construction and visualization of gigantic multiresolution polygonal models.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Level of Detail, Out-Of-Core Algorithms
13	Zoë J. Wood, Hugues Hoppe, Mathieu Desbrun, Peter Schröder	Removing excess topology from isosurfaces.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Topological artifacts, genus reduction, surface reconstruction, marching cubes
13	Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran	Simplifying Logic Programs Under Uniform and Strong Equivalence.	LPNMR	2004	DBLP DOI BibTeX RDF
13	Alexandre Riazanov, Andrei Voronkov	Efficient Checking of Term Ordering Constraints.	IJCAR	2004	DBLP DOI BibTeX RDF
13	Sung-Eui Yoon, Brian Salomon, Russell Gayle, Dinesh Manocha	Quick-VDR: Interactive View-Dependent Rendering of Massive Models.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	levels-of-detail, occlusion culling, Interactive display, external-memory algorithm, view-dependent rendering
13	Jean-Sébastien Coron	Finding Small Roots of Bivariate Integer Polynomial Equations Revisited.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
13	Irene Cheng 0001, Pierre Boulanger	Adaptive Online Transmission of 3D TexMesh Using Scale-Space Analysis.	3DPVT	2004	DBLP DOI BibTeX RDF	3D transmission, Scale-space analysis, Bandwidth monitoring, Time-compensation algorithm
13	Taeseung D. Yoo, Eun-Young Kim, Daniel K. Bogen, JungHyun Han	Geometrical Analysis for Assistive Medical Device Design.	CIS	2004	DBLP DOI BibTeX RDF
13	Sergey S. Fedin, Alexander S. Kulikov	Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms.	IWPEC	2004	DBLP DOI BibTeX RDF
13	Hongbo Li 0012	Symbolic computation in the homogeneous geometric model with clifford algebra.	ISSAC	2004	DBLP DOI BibTeX RDF	homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
13	Ali El-Moursy, David H. Albonesi	Front-End Policies for Improved Issue Efficiency in SMT Processors.	HPCA	2003	DBLP DOI BibTeX RDF
13	Konstantin Korovin, Andrei Voronkov	Orienting Equalities with the Knuth-Bendix Order.	LICS	2003	DBLP DOI BibTeX RDF
13	Pierre Tellier, Samy Baroud	Textured Voxels Based Method for Display Speed Up.	IV	2003	DBLP DOI BibTeX RDF
13	Stefan Röttger, Thomas Ertl	Fast Volumetric Display of Natural Gaseous Phenomena.	Computer Graphics International	2003	DBLP DOI BibTeX RDF	Continuous Level of Detail, Pre-Integration, Gaseous Phenonema, Volume Rendering, Cell Projection
13	Horst Birthelmer, Ingo Soetebier, Jörg Sahm	Efficient Representation of Triangle Meshes for Simultaneous Modification and Rendering.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Bruno Apolloni, Andrea Brega, Dario Malchiodi, Giorgio Palmas, Anna Maria Zanaboni	Learning Rule Representations from Boolean Data.	ICANN	2003	DBLP DOI BibTeX RDF
13	Mark Foskey, Ming C. Lin, Dinesh Manocha	Efficient computation of a simplified medial axis.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	medial axis, distance field
13	Lars Kulik, Max J. Egenhofer	Linearized Terrain: Languages for Silhouette Representations.	COSIT	2003	DBLP DOI BibTeX RDF	Formal languages, granularity, terrain, qualitative spatial reasoning
13	Xiaofang Zhou 0001, Sham Prasher, Masaru Kitsuregawa	Database Support for Spatial Generalisation for WWW and Mobile Applications.	WISE	2002	DBLP DOI BibTeX RDF
13	Kristofer Vorwerk, G. N. Paulley	On Implicate Discovery and Query Optimization.	IDEAS	2002	DBLP DOI BibTeX RDF
13	E. Islas Pérez, Carlos A. Coello Coello, Arturo Hernández Aguirre, Alejandro Villavicencio Ramírez	Genetic Algorithms and Case-Based Reasoning as a Discovery and Learning Machine in the Optimization of Combinational Logic Circuits.	MICAI	2002	DBLP DOI BibTeX RDF
13	Ediz Saykol, Gürcan Gülesir, Ugur Güdükbay, Özgür Ulusoy	KiMPA: A Kinematics-Based Method for Polygon Approximation.	ADVIS	2002	DBLP DOI BibTeX RDF
13	Giuseppe Patanè 0001, Michela Spagnuolo	Multi-resolution and slice-oriented feature extraction and segmentation of digitized data.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	segmentation, reverse engineering, feature detection
13	Pere Brunet	Discrete models for geometric objects.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF
13	Corinne Vachier	Morphological scale-space analysis and feature extraction.	ICIP (3)	2001	DBLP DOI BibTeX RDF
13	Franklin César Flores, Roberto de Alencar Lotufo	Connected Filtering by Graylevel Classification through Morphological Histogram Processing.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
13	Kam-Fai Chan, Y. T. Wong, Chi-Wah Kok	Multiresolution mesh representation using vertex cluster contraction.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
13	Slim Abdennadher, Christophe Rigotti	Towards Inductive Constraint Solving.	CP	2001	DBLP DOI BibTeX RDF
13	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
13	Datchakorn Tancharoen, Somchai Jitapunkul, S. Chompun	Spatial Segmentation Based on Modified Morphological Tools.	ITCC	2001	DBLP DOI BibTeX RDF
13	Tim Wichmann, Manfred Thole	Computer Aided Generation of Analytic Models for Nonlinear Function Blocks.	PATMOS	2000	DBLP DOI BibTeX RDF
13	Pieter J. Mosterman, Gautam Biswas	Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.	HSCC	2000	DBLP DOI BibTeX RDF
13	Philippe Salembier, José Luis Garrido	Connected Operators Based on Region-Tree Pruning Strategies.	ICPR	2000	DBLP DOI BibTeX RDF
13	M. A. Cárdenas Viedma, Isabel Navarrete, Roque Marín	Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.	TIME	2000	DBLP DOI BibTeX RDF	Temporal logics and ontologies, temporal constraint reasoning, temporal languages and architectures, belief and uncertainty in temporal knowledge
13	Thomas Arts	System Description: The Dependency Pair Method.	RTA	2000	DBLP DOI BibTeX RDF
13	Adrian Bowyer, Jakob Berchtold, David Eisenthal, Irina Voiculescu, Kevin D. Wise	Interval Methods in Geometric Modeling.	GMP	2000	DBLP DOI BibTeX RDF	multidimensional geometric modeling, svLis, ray-tracing, Interval arithmetic, CSG, implicit functions
13	Priyank Kalla, Maciej J. Ciesielski	Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence.	DATE	1999	DBLP DOI BibTeX RDF
13	Guangzheng Fei, Enhua Wu	A real-time generation algorithm for progressive meshes in dynamic environments.	VRST	1999	DBLP DOI BibTeX RDF
13	Kalle Åström, Anders Heyden	Continuous Time Matching Constraints for Image Streams.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	multilinear constraint, uncalibrated, calibrated camera, optical flow, motion, structure
13	John G. Cleary, Lunjin Lu	Constructive Negation Using Typed Existence Properties.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	existence properties, type system, constructive negation
13	Russ Bubley, Martin E. Dyer	Path Coupling: A Technique for Proving Rapid Mixing in Markov Chains.	FOCS	1997	DBLP DOI BibTeX RDF	P-hard counting, path coupling, combinatorial difficulty, hard combinatorial problems, TWICE-SAT, complexity, Markov chains, theorem proving, graph colouring, algorithm design, Markov chain Monte Carlo method, rapid mixing
13	Uwe Schöning	Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity.	MFCS	1997	DBLP DOI BibTeX RDF
13	Shih-Chieh Chang, Malgorzata Marek-Sadowska, Kwang-Ting Cheng	Perturb and simplify: multilevel Boolean network optimizer.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
13	Kalle Åström, Anders Heyden	Multilinear Constraints in the Infinitesimal-time Cas.	CVPR	1996	DBLP DOI BibTeX RDF	Multilinear constraints, infinitesimal motion, calibrated camera, uncalibrated camera
13	Philippe Salembier, Montse Pardàs	Hierarchical morphological segmentation for image sequence coding .	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
13	Ilias P. Tatsiopoulos	Object-Oriented Design of Manufacturing Database Helps Simplify Production Management in Small Firms.	DEXA	1994	DBLP DOI BibTeX RDF
13	Leo Bachmair, Harald Ganzinger	Ordered Chaining for Total Orderings.	CADE	1994	DBLP DOI BibTeX RDF
13	Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder	An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time.	J. ACM	1993	DBLP DOI BibTeX RDF	completion procedures, congruence closure, term rewriting, equational logic
13	David A. Plaisted	Polynomial Time Termination and Constraint Satisfaction Tests.	RTA	1993	DBLP DOI BibTeX RDF
13	Cyril Autant, Philippe Schnoebelen	Place Bisimulations in Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets
13	Cullen Schaffer	When Does Overfitting Decrease Prediction Accuracy in Induced Decision Trees and Rule Sets?.	EWSL	1991	DBLP DOI BibTeX RDF
13	Hartmut Freitag	A Generic Measurement Proposer.	Expert Systems in Engineering	1990	DBLP DOI BibTeX RDF
13	Jens M. Dill	A counter-example for "A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars".	J. ACM	1989	DBLP DOI BibTeX RDF
13	Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis	Implementation of a Prolog-INGRES Interface.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	Prolog, INGRES
13	Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder	Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time.	CADE	1988	DBLP DOI BibTeX RDF
13	Philip A. Bernstein, Barbara T. Blaustein	Fast Methods for Testing Quantified Relational Calculus Assertions.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
13	Jane Fedorowicz	Comments on Price/Performance Patterns of U.S. Computer Systems.	Commun. ACM	1981	DBLP DOI BibTeX RDF
13	Nan Li, Zhimin Zhang	Abnormal Crowd Behavior Detection Using Topological Methods.	SNPD	2011	DBLP DOI BibTeX RDF	Crowd anomaly detection, vector field, topological simplification
13	Jack Ring, Antonio Pizzarello, Oris Friesen, Byron Davies	System of Systems Readiness Assessment.	ICSEng	2011	DBLP DOI BibTeX RDF	logic simplification, faults, weakest precondition, system of systems, massively parallel processing
13	Tao Wang, Youbing Zhao, Enjie Liu, Gordon Clapworthy, Xia Zhao 0001, Hui Wei 0002, Feng Dong 0005	Using Web Services as Functional-Level Plug Ins for Interactive 3D Medical Visualisation.	IV	2010	DBLP DOI BibTeX RDF	interactive visualisation, functional-level plug in, data-preview service, Virtual Physiological Human, web service, mesh simplification
13	Abdullah Bulbul, Çetin Koca, Tolga K. Çapin, Ugur Güdükbay	Saliency for animated meshes with material properties.	APGV	2010	DBLP DOI BibTeX RDF	perception, computer animation, mesh simplification, human visual system, mesh saliency
13	Sébastien Bougleux, Abderrahim Elmoataz, Mahmoud Melkemi	Local and Nonlocal Discrete Regularization on Weighted Graphs for Image and Mesh Processing.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Discrete variational problems on graphs, Discrete diffusion processes, Smoothing, Denoising, Simplification
13	Oded Fuhrmann, Shlomo Hoory	On Extending Bounded Proofs to Inductive Proofs.	CAV	2009	DBLP DOI BibTeX RDF	resolution proofs, extending proofs, proof simplification, Formal verification
13	Hongchao Fan, Liqiu Meng, Mathias Jahnke	Generalization of 3D Buildings Modelled by CityGML.	AGILE Conf.	2009	DBLP DOI BibTeX RDF	3D building, CityGML, Typification, Generalization, Simplification
13	Andy Song, Dunhai Chen, Mengjie Zhang 0001	Bloat control in genetic programming by evaluating contribution of nodes.	GECCO	2009	DBLP DOI BibTeX RDF	contribution measurement, genetic programming, bloat, program simplification
13	Konstantinos Sagonas, Thanassis Avgerinos	Automatic refactoring of Erlang programs.	PPDP	2009	DBLP DOI BibTeX RDF	code cleanup, code simplification, program transformation, refactoring, erlang
13	Thanassis Avgerinos, Konstantinos Sagonas	Cleaning up Erlang code is a dirty job but somebody's gotta do it.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	code cleanup, code simplification, program transformation, refactoring, erlang
13	Christopher W. Brown 0001	Fast simplifications for Tarski formulas.	ISSAC	2009	DBLP DOI BibTeX RDF	tarski formulas, simplification
13	Art Tevs, Ivo Ihrke, Hans-Peter Seidel	Maximum mipmaps for fast, accurate, and scalable dynamic height field rendering.	SI3D	2008	DBLP DOI BibTeX RDF	height field intersection, simplification/level of detail, surface details, texturing techniques, GPU, graphics hardware, real-time rendering, displacement mapping, spatial data structures
13	La-mei Yan, You-wei Yuan	Efficient Method for Point-Based Rendering on GPUs.	Edutainment	2008	DBLP DOI BibTeX RDF	animation, GPUs, real-time rendering, mesh simplification
13	Attila Gyulassy, Mark A. Duchaineau, Vijay Natarajan, Valerio Pascucci, Eduardo M. Bringa, Andrew Higginbotham, Bernd Hamann	Topologically Clean Distance Fields.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	porous solid, critical point, Morse theory, distance field, wavefront, topological simplification, material science, Morse-Smale complex
13	Attila Gyulassy, Vijay Natarajan, Valerio Pascucci, Bernd Hamann	Efficient Computation of Morse-Smale Complexes for Three-dimensional Scalar Functions.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	3D scalar fields, multiresolution, feature detection, simplification, computational topology, Morse theory, Morse-Smale complexes