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 |
|