|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17139 occurrences of 7337 keywords
|
|
|
Results
Found 22645 publication records. Showing 22645 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Andreas Reuter 0001 |
Concurrency on High-trafic Data Elements. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Thomas H. Naylor |
Elements of a planning and modeling system. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
11 | Herbert S. Bright, Richard L. Enison |
Cryptography using modular software elements. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
11 | Donald L. Richards |
Efficient Exercising of Switching Elements in Nets of Identical Gates. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
11 | Donald L. Richards |
Efficient Exercising of Switching Elements in Combinatorial Nets. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
11 | C. M. Reeves |
An algorithm for generating projective reduction formulas for matrix elements of many-electron wavefunctions. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
11 | Daniel J. Lasser |
Topological ordering of a list of randomly-numbered elements of a network. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
|
10 | Yvonne Jung, Sabine Webel, Manuel Olbrich, Timm Drevensek, Tobias Alexander Franke, M. Roth, Dieter W. Fellner |
Interactive textures as spatial user interfaces in X3D. |
Web3D |
2010 |
DBLP DOI BibTeX RDF |
virtual reality, interaction, texturing, X3D, 3D UI |
10 | Steffen Heinzl, Benjamin Schmeling |
Using XML schema to improve writing, validation, and structure of WS-policies. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
WS-SecurityPolicy, domain-specific policy, validation, policy, XML schema, WS-policy |
10 | Ryotaro Kamimura |
Enhancing and Relaxing Competitive Units for Feature Discovery. |
Neural Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
SOM, Mutual information, Feature detection, Competitive learning |
10 | Felix Polyakov, Eran Stark, Rotem Drori, Moshe Abeles, Tamar Flash |
Parabolic movement primitives and cortical states: merging optimality with geometric invariance. |
Biol. Cybern. |
2009 |
DBLP DOI BibTeX RDF |
Drawing primitives, Equi-affine geometry, Neural representation, Hidden Markov modeling, Geometric invariants |
10 | Bernardo M. Ábrego, Esther M. Arkin, Silvia Fernández-Merchant, Ferran Hurtado, Mikio Kano, Joseph S. B. Mitchell, Jorge Urrutia |
Matching Points with Squares. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Matching, Discrete geometry, Hamiltonian, Delaunay |
10 | Sumit Bhatia, Shibamouli Lahiri, Prasenjit Mitra |
Generating synopses for document-element search. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
document-element, classification, summarization, synopses |
10 | Jonas Buchli, Mrinal Kalakrishnan, Michael N. Mistry, Peter Pastor, Stefan Schaal |
Compliant quadruped locomotion over rough terrain. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Laura Pierucci |
Genetic DOA estimation in sparse MIMO systems for localization of rescuers. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
direction of arrival (DoA), multiple antenna systems (MIMO), genetic algorithms, antenna array |
10 | Sanjay Jain 0001, Efim B. Kinber |
Iterative Learning from Texts and Counterexamples Using Additional Information. |
ALT |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ingu Han, Kee-Wook Rim, Jung-Hyun Lee |
BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
mobile ad-hoc network, node selection, selected broadcasting |
10 | Sayandeep Sen, Stephen Schmitt, Mason Donahue, Suman Banerjee 0001 |
Exploiting "approximate communication" for mobile media applications. |
HotMobile |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Mahabir Prasad Jhanwar, Rana Barua |
Sampling from Signed Quadratic Residues: RSA Group Is Pseudofree. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
RSA Group, Free Group, Quadratic Residues |
10 | Kristiina Karvonen, Theofanis Kilinkaridis, Olli Immonen |
WidSets: A Usability Study of Widget Sharing. |
INTERACT (2) |
2009 |
DBLP DOI BibTeX RDF |
usability, trust, user study, reputation, questionnaire, Widget |
10 | Ives Rene Venturini Pola, Agma J. M. Traina, Caetano Traina Jr. |
Easing the Dimensionality Curse by Stretching Metric Spaces. |
SSDBM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Leah Buechley, Sue Hendrix, Michael Eisenberg |
Paints, paper, and programs: first steps toward the computational sketchbook. |
TEI |
2009 |
DBLP DOI BibTeX RDF |
conductive paint, magnetic paint, paper computing, papercrafts, construction kit |
10 | Hong Shen 0001, Yu Zhang |
Improved Approximate Detection of Duplicates for Data Streams Over Sliding Windows. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
data stream, bloom filter, sliding window, duplicate detection, approximate query |
10 | Jih-Woei Huang, Chih-Ping Chu |
A flexible processor mapping technique toward data localization for block-cyclic data redistribution. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
MPI, Data distribution, HPF, Distributed memory multicomputers, Data-parallel programming, Processor mapping |
10 | Kiran H. Shivanna, Nicole M. Grosland, M. E. Russell, D. R. Pedersen |
Diarthrodial joint contact models: finite element model development of the human hip. |
Eng. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Patient-specific models, Hip joint, Finite element |
10 | Yang Liu, Qiya Hu, Dehao Yu |
A non-overlapping domain decomposition for low-frequency time-harmonic Maxwell's equations in unbounded domains. |
Adv. Comput. Math. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65N30, 65N55 |
10 | Kia Wiklundh, Gunnar Eriksson |
A study of the capacity for different element spacing on compact MIMO platforms. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Vassiliki A. Koutsonikola, Sophia G. Petridou, Athena Vakali, Hakim Hacid, Boualem Benatallah |
Correlating Time-Related Data Sources with Co-clustering. |
WISE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Samer Hanoun, Douglas C. Creighton, Saeid Nahavandi |
Decentralized mobility models for data collection in wireless sensor networks. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jaap Kamps, Shlomo Geva, Andrew Trotman, Alan Woodley, Marijn Koolen |
Overview of the INEX 2008 Ad Hoc Track. |
INEX |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Gerald Madlmayr, Oliver Dillinger, Josef Langer, Josef Scharinger |
Management of Multiple Cards in NFC-Devices. |
CARDIS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra |
10 | Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan 0003, Elaine R. Palmer |
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ellen Lisette Schuurink, Joske Houtkamp, Alexander Toet |
Engagement and EMG in Serious Gaming: Experimenting with Sound and Dynamics in the Levee Patroller Training Game. |
Fun and Games |
2008 |
DBLP DOI BibTeX RDF |
affective appraisal, Serious gaming, engagement, EMG |
10 | T. Andrew Yang, Dan J. Kim 0001, Vishal Dhalwani, Tri K. Vu |
The 8C Framework as a Reference Model for Collaborative Value Webs in the Context of Web 2.0. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jashen Chen, Russell K. H. Ching, Margaret Meiling Luo, Chu-Chi Liu |
Virtual Experiential Marketing on Online Customer Intentions and Loyalty. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Renato Bueno, Daniel dos Santos Kaster, Agma Juci Machado Traina, Caetano Traina Jr. |
A New Approach for Optimization of Dynamic Metric Access Methods Using an Algorithm of Effective Deletion. |
SSDBM |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Pooyan Jamshidi, Mohsen Sharifi, Saeed Mansour |
To Establish Enterprise Service Model from Enterprise Business Model. |
IEEE SCC (1) |
2008 |
DBLP DOI BibTeX RDF |
service-oriented analysis and design, enterprise service model, service modeling, clustering technique, service specification, service identification |
10 | Youngsoo Shin, Sewan Heo, Hyung-Ock Kim, Jung Yun Choi |
Supply Switching With Ground Collapse: Simultaneous Control of Subthreshold and Gate Leakage Current in Nanometer-Scale CMOS Circuits. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Frank Chiang, Robin Braun, Johnson I. Agbinya |
Self-Configuration of Network Services with Biologically Inspired Learning and Adaptation. |
J. Netw. Syst. Manag. |
2007 |
DBLP DOI BibTeX RDF |
operations support systems (OSSs), pervasive computing environment (PCE), quality of service (QoS), autonomic, genetic algorithm (GA), Ant colony optimization (ACO) |
10 | Martin P. Robillard |
Topology analysis of software dependencies. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Software evolution, program understanding, separation of concerns, feature location, software change, software navigation |
10 | Jianbing Shen, Xiaogang Jin 0001, Xiaoyang Mao, Jieqing Feng |
Deformation-based interactive texture design using energy optimization. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Texture design, Interactive, Deformation, Energy optimization, Brushes |
10 | Robert L. Cook 0001, John Halstead, Maxwell Planck, David Ryu |
Stochastic simplification of aggregate detail. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
level of detail, simplification, stochastic sampling |
10 | Fatih Altiparmak, David Chiu 0001, Hakan Ferhatosmanoglu |
Incremental Quantization for Aging Data Streams. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Longin Jan Latecki, Qiang Wang 0010, Suzan Köknar-Tezel, Vasileios Megalooikonomou |
Optimal Subsequence Bijection. |
ICDM |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hongzhi Song, Yu Qi, Yun Liang 0003, Hongxing Peng, Liang Zhang 0022 |
LensList: Browsing and Navigating Long Linear Information Structures. |
HCI (8) |
2007 |
DBLP DOI BibTeX RDF |
List Navigation, Long List, Multiple Foci, Information Navigation, Focus + Context |
10 | Kyungho Lim, Joonsung Yoon |
I See Your Voice: The Development of Image Caption Generating Software and On-Line User Community for the Auditory Disabled. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
auditory disabled, usability, accessibility, digital content |
10 | HyeJin Ryu, Sonya S. Kwak, Myungsuk Kim |
A Study on External Form Design Factors for Robots as Elementary School Teaching Assistants. |
RO-MAN |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hiroki Tanioka |
A Fast Retrieval Algorithm for Large-Scale XML Data. |
INEX |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Norbert Fuhr, Jaap Kamps, Mounia Lalmas, Saadia Malik, Andrew Trotman |
Overview of the INEX 2007 Ad Hoc Track. |
INEX |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Leo Spalteholz, Kin Fun Li, Nigel Livingston |
Generating efficient labels to facilitate web accessibility. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
single switch, web accessibility, labeling, web navigation |
10 | Amitay Isaacs, Tapabrata Ray, Warren F. Smith |
Novel evolutionary algorithm with set representation scheme for truss design. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tal Moran, Moni Naor, Gil Segev 0001 |
Deterministic History-Independent Strategies for Storing Information on Write-Once Memories. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tran Quoc Dung, Wataru Kameyama |
Ontology-Based Information Extraction and Information Retrieval in Health Care Domain. |
DaWaK |
2007 |
DBLP DOI BibTeX RDF |
Ontology Enhancement, Ontology, Information Retrieval, Information Extraction |
10 | Matthias Robine, Pierre Hanna, Pascal Ferraro |
Music similarity: improvements of edit-based algorithms by considering music theory. |
Multimedia Information Retrieval |
2007 |
DBLP DOI BibTeX RDF |
edit-based systems, information retrieval, music similarity, music theory |
10 | Kun-Chieh Wang, Sheng-Mao Chen |
Product form design using ANFIS-KANSEI engineering model. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ya-Shu Chen, Chi-Sheng Shih 0001, Tei-Wei Kuo |
Dynamic Task Scheduling and Processing Element Allocation for Multi-Function SoCs. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Maciej Paszynski, Anna Paszynska |
Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity |
10 | Ingmar Fliege, Reinhard Gotzhein |
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Donato Malerba, Michelangelo Ceci |
Learning to Order: A Relational Approach. |
MCD |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Michael A. Bauer 0001 |
High performance computing: the software challenges. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation |
The Jónsson-Kiefer Property. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Meet semi-distributive lattice, pseudo-complemented lattice, meet-prime element, join semi-distributive lattice, join-prime element |
10 | Shlomo Geva, Alan Woodley |
The NLP task at INEX 2005. |
SIGIR Forum |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Michael J. Gans |
Some Effects of Mutual Coupling and Noise on Channel Capacity Between Antenna Arrays - Part II: Amplifier Noise Dominates. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Michael J. Gans |
Channel Capacity Between Antenna Arrays- Part II: Amplifier Noise Dominates. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Michael J. Gans |
Channel Capacity Between Antenna Arrays - Part I: Sky Noise Dominates. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
Deciding Boolean Algebra with Presburger Arithmetic. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic |
10 | Anthony Lobay, David A. Forsyth |
Shape from Texture without Boundaries. |
Int. J. Comput. Vis. |
2006 |
DBLP DOI BibTeX RDF |
interest point methods, computer vision, texture, structure from motion, surface fitting, shape from texture, auto-calibration |
10 | Jesus Malo, Irene Epifanio, Rafael Fonolla Navarro, Eero P. Simoncelli |
Nonlinear image representation for efficient perceptual coding. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Wolfgang Hackbusch, M. Löhndorf, Stefan A. Sauter |
Coarsening of Boundary-element Spaces. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
multigrid, Boundary-element method, algebraic multigrid |
10 | Peter Damaschke |
Threshold Group Testing. |
GTIT-C |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Elmário Gomes Dutra Jr., José Valdeni de Lima |
Supplement of partial ranks to the data fusion. |
WebMedia |
2006 |
DBLP DOI BibTeX RDF |
fusão de dados, recuperação de informação, IR |
10 | Karina Figueroa 0001, Edgar Chávez, Gonzalo Navarro 0001, Rodrigo Paredes |
On the Least Cost for Proximity Searching in Metric Spaces. |
WEA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jaap Kamps, Marijn Koolen, Börkur Sigurbjörnsson |
Filtering and Clustering XML Retrieval Results. |
INEX |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Giulio Manzonetto, Antonino Salibra |
Boolean Algebras for Lambda Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan C. Roberts, Michael A. E. Wright |
Towards Ubiquitous Brushing for Information Visualization. |
IV |
2006 |
DBLP DOI BibTeX RDF |
Multiple Linked Views, Brushing, Exploratory Visualization |
10 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
On-Demand Index for Efficient Structural Joins. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Grigoris Dimitroulakos, Michalis D. Galanis, Constantinos E. Goutis |
Exploring the design space of an optimized compiler approach for mesh-like coarse-grained reconfigurable architectures. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ben Heuwing, Thomas Mandl 0001, Robert Strötgen |
Multilingual Web Retrieval Experiments with Field Specific Indexing Strategies for WebCLEF 2006 at the University of Hildesheim. |
CLEF |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Golovin, Anupam Gupta 0001, Bruce M. Maggs, Florian Oprea, Michael K. Reiter |
Quorum placement in networks: minimizing network congestion. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
congestion problems, approximation algorithms, Quorum systems, LP rounding |
10 | Arpita Patra, Ashish Choudhary, K. Srinathan, C. Pandu Rangan |
Constant Phase Bit Optimal Protocols for Perfectly Reliable and Secure Message Transmission. |
INDOCRYPT |
2006 |
DBLP DOI BibTeX RDF |
Reliable and Secure Communication, Information Theoretic Security, Communication Efficiency |
10 | Akhilesh Kumar, Mohab Anis |
Dual-Vt Design of FPGAs for Subthreshold Leakage Tolerance. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Wei Shi, Wanlei Zhou 0001 |
Frequency Distribution of TATA Box and Extension Sequences on Human Promoters. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Dugerdil |
Reengineering Process Based on the Unified Process. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Hyung-Ock Kim, Youngsoo Shin, Hyuk Kim, Iksoo Eo |
Physical design methodology of power gating circuits for standard-cell-based design. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
low power, leakage current, power gating |
10 | Jeffrey Xu Yu, Daofeng Luo, Xiaofeng Meng 0001, Hongjun Lu |
Dynamically Updating XML Data: Numbering Scheme Revisited. |
World Wide Web |
2005 |
DBLP DOI BibTeX RDF |
XML data updates, numbering scheme |
10 | Jaap Kamps, Maarten de Rijke, Börkur Sigurbjörnsson |
The Importance of Length Normalization for XML Retrieval. |
Inf. Retr. |
2005 |
DBLP DOI BibTeX RDF |
language models, smoothing, XML retrieval, length normalization |
10 | Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang |
Risk assessment in distributed authorization. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
trust management logic, distributed authorization |
10 | Bin Feng, Zhizhang Chen |
Optimization of Three Dimensional Retro-Directive Arrays. |
CNSR |
2005 |
DBLP DOI BibTeX RDF |
Retro-directive Array, numerical grid, numerical discretization, radiation pattern, optimization, weights, objective function |
10 | Jayant Madhavan, Philip A. Bernstein, AnHai Doan, Alon Y. Halevy |
Corpus-based Schema Matching. |
ICDE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Adnan Acan, Akin Günay |
Enhanced particle swarm optimization through external memory support. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Denis Gopan, Thomas W. Reps, Shmuel Sagiv |
A framework for numeric analysis of array operations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization |
10 | David Kensche, Christoph Quix, Mohamed Amine Chatti, Matthias Jarke |
GeRoMe: A Generic Role Based Metamodel for Model Management. |
OTM Conferences (2) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Nagy Bengiamin, Allen Parker, Larry Hudson, Van Tran |
Temperature control for aerospace test systems - modeling, simulation and design case study. |
WSC |
2005 |
DBLP BibTeX RDF |
|
10 | Martin P. Robillard |
Automatic generation of suggestions for program investigation. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
structural program dependencies, static analysis, feature location |
10 | K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün |
Generalizing Redundancy Elimination in Checking Sequences. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Chengjun Zhang, Chunyan Wang 0004, M. Omair Ahmad |
A VLSI architecture for a high-speed computation of the 1D discrete wavelet transform. |
ISCAS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Refael Hassin, Danny Segev |
The Set Cover with Pairs Problem. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Xiaojuan Luo, Mark S. Shephard, Robert M. O'Bara, Rocco Nastasia, Mark W. Beall |
Automatic p-version mesh generation for curved domains. |
Eng. Comput. |
2004 |
DBLP DOI BibTeX RDF |
p-version method, Curved meshes, Graded meshes |
10 | Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
Nelson-Oppen procedure, set theory, decision procedure |
|
|