Search results for "flattening"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Shafagh Jafer, Gabriel A. Wainer	Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS.	CSE (1)	2009	DBLP DOI BibTeX RDF
12	Praveen Sivadasan, P. Sojan Lal, Naveen Sivadasan	JDATATRANS for array obfuscation in Java source codes to defeat reverse engineering from decompiled codes.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	restructured arrays, source code obfuscation, reverse engineering
12	Bernd Steinbach, Christian Posthoff	Complete Sets of Hamiltonian Circuits for Classification of Documents.	EUROCAST	2009	DBLP DOI BibTeX RDF
12	John Sharko, Georges G. Grinstein, Kenneth A. Marx	Vectorized Radviz and Its Application to Multiple Cluster Datasets.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
12	Mirela Damian, Robin Y. Flatland, Joseph O'Rourke	Grid Vertex-Unfolding Orthogonal Polyhedra.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Vertex-unfolding, Grid unfolding, Orthogonal polyhedra, Genus-zero
12	Yi Gong, Wei Chen 0001, Long Zhang 0001, Yun Zeng, Qunsheng Peng 0001	GPU-based rendering for deformable translucent objects.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Sub-surface scattering, Real-time rendering, Translucency, BSSRDF
12	Vincent Toujas, Marc Donias, Dominique Jeantet, Sebastien Guillon, Yannick Berthoumieu	A robust framework for GeoTime cube.	ICIP	2008	DBLP DOI BibTeX RDF
12	Santiago Figueira, Daniel Gorín, Rafael Grimson	On the Formal Semantics of IF-Like Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
12	Jeremy Pickens, Gene Golovchinsky	Ranked feature fusion models for ad hoc retrieval.	CIKM	2008	DBLP DOI BibTeX RDF	metasearch, feature ranking, score normalization
12	Fabrizio Mulas, Michele Pittau, Marco Buttu, Salvatore Carta, Andrea Acquaviva, Luca Benini, David Atienza, Giovanni De Micheli	Thermal Balancing Policy for Streaming Computing on Multiprocessor Architectures.	DATE	2008	DBLP DOI BibTeX RDF
12	Stephen D. Peterson, Magnus Axholt, Stephen R. Ellis	Label segregation by remapping stereoscopic depth in far-field augmented reality.	ISMAR	2008	DBLP DOI BibTeX RDF
12	Vasanthan Raghavan, Akbar M. Sayeed, Jayesh H. Kotecha	Impact of mismatched statistics on correlated MIMO capacity.	ICASSP	2008	DBLP DOI BibTeX RDF
12	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw	Implicitly-threaded parallelism in Manticore.	ICFP	2008	DBLP DOI BibTeX RDF	implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions
12	Emmanuel Pietriga, Caroline Appert	Sigma lenses: focus-context transitions combining space, time and translucence.	CHI	2008	DBLP DOI BibTeX RDF	fisheye lenses, focus targeting, multi-scale interfaces, controlled experiment, translucence, focus + context
12	Mozammel H. A. Khan, Nafisa K. Siddika, Marek A. Perkowski	Minimization of Quaternary Galois Field Sum of Products Expression for Multi-Output Quaternary Logic Function Using Quaternary Galois Field Decision Diagram.	ISMVL	2008	DBLP DOI BibTeX RDF
12	Lin Xinmei, Zhao Ziyu	A Study of Transient Temperature Measuring System Based on LabVIEW for Droplets.	CSSE (2)	2008	DBLP DOI BibTeX RDF
12	Simon Bliudze, Joseph Sifakis	A Notion of Glue Expressiveness for Component-Based Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
12	Olivier Danvy	From Reduction-Based to Reduction-Free Normalization.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
12	Moo K. Chung, Brendon M. Nacewicz, Shubing Wang, Kim M. Dalton, Seth D. Pollak, Richard J. Davidson	Amygdala Surface Modeling with Weighted Spherical Harmonics.	MIAR	2008	DBLP DOI BibTeX RDF
12	Xia Zhou, Yangsheng Wang, Jituo Li, Daiguo Zhou	ABF Based Face Texturing.	Edutainment	2008	DBLP DOI BibTeX RDF	texture generation, ABF method, texture mapping, AAM
12	Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner	Exploiting interleaving semantics in symbolic state-space generation.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
12	Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi	Heterogeneous Behavioral Hierarchy Extensions for SystemC.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
12	Michael M. Mielke, Gerard A. Alphonse, Peter J. Delfyett	Multiwavelength modelocked semiconductor lasers for photonic access network applications.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
12	Frédéric Courteille, Alain Crouzil, Jean-Denis Durou, Pierre Gurdjos	Shape from shading for the digitization of curved documents.	Mach. Vis. Appl.	2007	DBLP DOI BibTeX RDF
12	Kelvin R. Rocha, Ganesh Sundaramoorthi, Anthony J. Yezzi	3D Topology Preserving Flows for Viewpoint-Based Cortical Unfolding.	ICCV	2007	DBLP DOI BibTeX RDF
12	Li Zhang 0005, Andy M. Yip, Chew Lim Tan	A Restoration Framework for Correcting Photometric and Geometric Distortions in Camera-based Document Images.	ICCV	2007	DBLP DOI BibTeX RDF
12	Florentin Ipate	Class Testing from State Diagrams Using Stream X-Machine Based Methods.	ASWEC	2007	DBLP DOI BibTeX RDF
12	Jun Wang, Meng Chen Lee	Reconstructing ddc for interactive classification.	CIKM	2007	DBLP DOI BibTeX RDF	bibliographic data, dewey decimal classification, interactive classification, taxonomy reconstruction, trimming machine, hierarchical classification
12	Apala Lahiri Chavan, Rahul Ajmera	When in Rome... Be Yourself: A Perspective on Dealing with Cultural Dissimilarities in Ethnography.	HCI (10)	2007	DBLP DOI BibTeX RDF
12	Lin Chen 0004, Gudrun Wagenknecht	Topology Correction for Brain Atlas Segmentation Using a Multiscale Algorithm.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
12	Lin Chen 0004, Gudrun Wagenknecht	Topological Correction of Volumetric Binary Brain Segmentation Using a Multiscale Algorithm.	ISBI	2007	DBLP DOI BibTeX RDF
12	G. Satya Reddy, Hrushikesha Mohanty	Specification Based Testing of Inheritance: A Framework of a Tool.	ICIT	2007	DBLP DOI BibTeX RDF
12	Rhaleb Zayer, Bruno Lévy 0001, Hans-Peter Seidel	Linear angle based parameterization.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
12	Mozammel H. A. Khan, Marek A. Perkowski	GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits.	ISMVL	2007	DBLP DOI BibTeX RDF
12	Matthias Grumer, Manuel Wendt, Stefan Lickl, Christian Steger, Reinhold Weiss, Ulrich Neffe, Andreas Mühlberger	Software Power Peak Reduction on Smart Card Systems Based on Iterative Compiling.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Software power optimization, Peak reduction, Smart card systems, Power profile analysis, Iterative compiling
12	Frédéric Courteille, Jean-Denis Durou, Pierre Gurdjos	Shape from Contour for the Digitization of Curved Documents.	ACCV (2)	2007	DBLP DOI BibTeX RDF
12	Bryan W. Lin, Ou Ma	Modeling and Analysis of Human Binocular Perception of Position and Velocity in the Visual Cortex.	IJCNN	2007	DBLP DOI BibTeX RDF
12	Daniel Kroening, Georg Weissenbacher	Lifting Propositional Interpolants to the Word-Level.	FMCAD	2007	DBLP DOI BibTeX RDF
12	Vijayanand Nagarajan, Rajiv Gupta 0001, Matias Madou, Xiangyu Zhang 0001, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
12	Jude Angelo Ambrose, Roshan G. Ragel, Sri Parameswaran	RIJID: Random Code Injection to Mask Power Analysis based Side Channel Attacks.	DAC	2007	DBLP DOI BibTeX RDF
12	Wei Hong 0006, Feng Qiu, Arie E. Kaufman	A Pipeline for Computer Aided Polyp Detection.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Volume Rendering, Texture Analysis, Computer Aided Detection, Virtual Colonoscopy
12	Lin Chen 0004, Gudrun Wagenknecht	Topology Correction for Brain Atlas Segmentation.	Bildverarbeitung für die Medizin	2006	DBLP DOI BibTeX RDF
12	Jeremy Gibbons	Fission for Program Comprehension.	MPC	2006	DBLP DOI BibTeX RDF
12	Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi	Heterogeneous behavioral hierarchy for system level designs.	DATE	2006	DBLP DOI BibTeX RDF
12	Clifford A. Shaffer, Ranjit Randhawa, John J. Tyson	The role of composition and aggregation in modeling macromolecular regulatory networks.	WSC	2006	DBLP DOI BibTeX RDF
12	Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino	A Hierarchy-Driven Compression Technique for Advanced OLAP Visualization of Multidimensional Data Cubes.	DaWaK	2006	DBLP DOI BibTeX RDF
12	Mirela Damian, Robin Y. Flatland, Joseph O'Rourke	Grid Vertex-Unfolding Orthogonal Polyhedra.	STACS	2006	DBLP DOI BibTeX RDF
12	Lin Chen 0004, Gudrun Wagenknecht	Automated Topology Correction for Human Brain Segmentation.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
12	Shu Liao, Max W. K. Law, Albert C. S. Chung	Combining Microscopic and Macroscopic Information for Rotation and Histogram Equalization Invariant Texture Classification.	ACCV (1)	2006	DBLP DOI BibTeX RDF
12	Darshana Patel, Radu Muresan	Triple-DES ASIC Module for a Power-Smart System-on-Chip Architecture.	CCECE	2006	DBLP DOI BibTeX RDF
12	Eli Appleboim, Emil Saucan, Yehoshua Y. Zeevi	Quasi-conformal Flat Representation of Triangulated Surfaces for Computerized Tomography.	CVAMIA	2006	DBLP DOI BibTeX RDF
12	Aamer Nadeem, Michael R. Lyu	A Framework for Inheritance Testing from VDM++ Specifications.	PRDC	2006	DBLP DOI BibTeX RDF
12	Michael Vinje	Essential education for business innovation and optimization.	SIGITE Conference	2006	DBLP DOI BibTeX RDF
12	Marc Meister, Khalil Djelloul, Thom W. Frühwirth	Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
12	Abel W. Lin, Lu Dai, Khim Ung, Jeff Mock, Steven Peltier, Mark H. Ellisman	The Telescience Tools: Version 2.0.	e-Science	2005	DBLP DOI BibTeX RDF
12	Kazuya G. Kobayashi, Taro Ichizawa, Koichi Nakano, Katsutoshi Ootsubo	Tensegric mobile controlled by pseudo forces.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	FFD (free-form deformation), kinetic art, triangular mesh model, mobile, B-rep, tensegrity
12	Gabriella Sanniti di Baja, Ingela Nyström, Gunilla Borgefors	Discrete 3D Tools Applied to 2D Grey-Level Images.	ICIAP	2005	DBLP DOI BibTeX RDF
12	Fay Sudweeks, Simeon J. Simoff	Leading conversations: Communication behaviours of emergent leaders in virtual teams.	HICSS	2005	DBLP DOI BibTeX RDF
12	Thomas L. Sterling	Towards a Technology and Architecture Hybrid?	SC	2005	DBLP DOI BibTeX RDF
12	Deepak D'Souza, M. Raj Mohan	Eventual Timed Automata.	FSTTCS	2005	DBLP DOI BibTeX RDF
12	Zsolt Jankó, Dmitry Chetverikov	Data Fusion for Photorealistic 3D Models.	CAIP	2005	DBLP DOI BibTeX RDF
12	Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron	Structural Model Checking for Communicating Hierarchical Machines.	MFCS	2004	DBLP DOI BibTeX RDF
12	Yosi Ben-Asher, Daniel Citron, Gadi Haber	Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Matej Mlejnek, Anna Vilanova, M. Eduard Gröller	Interactive Thickness Visualization of Articular Cartilage.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	visualization in medicine, applications of visualization
12	Mozammel H. A. Khan, Marek A. Perkowski, Mujibur R. Khan	Ternary Galois Field Expansions for Reversible Logic and Kronecker Decision Diagrams for Ternary GFSOP Minimization.	ISMVL	2004	DBLP DOI BibTeX RDF
12	Nadeem Jamali, Xinghui Zhao	Hierarchical Resource Usage Coordination for Large-Scale Multi-agent Systems.	MMAS	2004	DBLP DOI BibTeX RDF
12	Cristian Sminchisescu, Allan D. Jepson	Generative modeling for continuous non-linearly embedded visual inference.	ICML	2004	DBLP DOI BibTeX RDF
12	Adrian Ulges, Christoph H. Lampert, Thomas M. Breuel	Document capture using stereo vision.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	camera based document capture, dewarping, stereo vision
12	Gregory Vert, Ashley Morris, Molly Stock	Converting a Fuzzy Data Model to an Object-Oriented Design for Managing GIS Data Files.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Model compression, fuzzy object-oriented design, ERD model conversion, GIS
12	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
12	Vanja Josifovski, Sabine Massmann, Felix Naumann	Super-Fast XML Wrapper Generation in DB2: A Demonstration.	ICDE	2003	DBLP DOI BibTeX RDF
12	Lei Zhu 0001, Steven Haker, Allen R. Tannenbaum	Area-Preserving Mappings for the Visualization of Medical Structures.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
12	Ranga Vemuri, Srinivas Katkoori, Meenakshi Kaul, Jay Roy	An efficient register optimization algorithm for high-level synthesis from hierarchical behavioral specifications.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	lifecycle analysis, register optimization, high-level synthesis, hardware description languages, Behavioral synthesis, hierarchical specifications
12	Alla Sheffer, Eric de Sturler	Smoothing an overlay grid to minimize linear distortion in texture mapping.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	smoothing., texture mapping, triangulation, parameterization
12	Yoshiyuki Kusakari	On Reconfiguring Radial Trees.	JCDCG	2002	DBLP DOI BibTeX RDF
12	Nelson Siu-Hang Chu, Chiew-Lan Tai	An Efficient Brush Model for Physically-Based 3D Painting.	PG	2002	DBLP DOI BibTeX RDF
12	Manuel M. T. Chakravarty, Gabriele Keller	An Approach to Fast Arrays in Haskell.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
12	A. A. Ramírez, R. P. Aguila	Presenting Methods for Unraveling the First Two Regular 4D Polytopes (4D Simplex and the Hypercube).	CW	2002	DBLP DOI BibTeX RDF
12	Rajeev Alur, Mihalis Yannakakis	Model checking of hierarchical state machines.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, statecharts, Hierarchical state machines
12	Larry Smarr	Assembling the Planetary Computer.	UbiComp	2001	DBLP DOI BibTeX RDF
12	Michael S. Brown, W. Brent Seales	The digital atheneum: new approaches for preserving, restoring and analyzing damaged manuscripts.	JCDL	2001	DBLP DOI BibTeX RDF	digital libraries, document analysis, digital preservation, restoration, humanities computing
12	Gerald C. Gannod, Barbara D. Gannod	An Investigation into the Connectivity Properties of Source-Header Dependency Graphs.	WCRE	2001	DBLP DOI BibTeX RDF	clustering, reverse engineering, modularization, graph connectivity
12	César A. Galindo-Legaria, Milind Joshi	Orthogonal Optimization of Subqueries and Aggregation.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
12	Steve McKeever, Wayne Luk	Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.	CHARME	2001	DBLP DOI BibTeX RDF
12	Sang Ho Lee 0004, Sung Jin Kim, Won Kim 0001	The BORD Benchmark for Object-Relational Databases.	DEXA	2000	DBLP DOI BibTeX RDF
12	Dirk Beyer 0001, Claus Lewerentz, Frank Simon	Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems.	IWSM	2000	DBLP DOI BibTeX RDF
12	Peter N. Belhumeur, David J. Kriegman, Alan L. Yuille	The Bas-Relief Ambiguity.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	variable illumination, shape ambiguity, object recognition, shadows, object representation
12	Vivekanand Gopalkrishnan, Qing Li 0001, Kamalakar Karlapalem	Star/Snow-Flake Schema Driven Object-Relational Data Warehouse - Design and Query Processing Strategies.	DaWaK	1999	DBLP DOI BibTeX RDF
12	Roni Khardon	Learning Range Restricted Horn Expressions.	EuroCOLT	1999	DBLP DOI BibTeX RDF
12	Timothy J. Callahan, Philip Chong, André DeHon, John Wawrzynek	Fast Module Mapping and Placement for Datapaths in FPGAs.	FPGA	1998	DBLP DOI BibTeX RDF
12	Wayne Luk, Steve McKeever	Pebble: A Language for Parametrised and Reconfigurable Hardware Design.	FPL	1998	DBLP DOI BibTeX RDF
12	John Hannan, Patrick Hicks	Higher-Order Arity Raising.	ICFP	1998	DBLP DOI BibTeX RDF
12	Rajeev Alur, Mihalis Yannakakis	Model Checking of Hierarchical State Machines.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
12	Gopal Gupta 0001, Enrico Pontelli	Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.	IPPS	1997	DBLP DOI BibTeX RDF
12	C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora	Estimation of Power from Module-level Netlists.	VLSI Design	1996	DBLP DOI BibTeX RDF
12	Srinivas Katkoori, Ranga Vemuri, Jay Roy	A Hierarchical Register Optimization Algorithm for Behavioral Synthesis.	VLSI Design	1996	DBLP DOI BibTeX RDF	Register Optimization, High Level Synthesis, Life-cycle Analysis
12	Petia Radeva, Joan Serrat 0002, Enric Martí	A Snake for Model-Based Segmentation.	ICCV	1995	DBLP DOI BibTeX RDF	snake techniques, spurious edge points, snake degeneration, deformation process, snake initialization, local determination, edge orientation, image segmentation, stability, convergence, elasticity, model-based segmentation
12	Stefano Soatto, Ruggero Frezza, Pietro Perona	Motion Estimation on the Essential Manifold.	ECCV (2)	1994	DBLP DOI BibTeX RDF
12	Hans-Günther Hein, Manfred Meyer	A WAM Compilation Scheme.	RCLP	1991	DBLP DOI BibTeX RDF
12	Erik C. Carlson, Rob A. Rutenbar	Design and Performance Evaluation of New Massively Parallel VLSI Mask Verification Algorithms in JIGSAW.	DAC	1990	DBLP DOI BibTeX RDF