|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7531 occurrences of 4236 keywords
|
|
|
Results
Found 14260 publication records. Showing 14259 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Lakhdar Remaki, Mohamed Cheriet |
Visual Data Extraction from Bi-level Document Images using a Generalized Kernel Family with Compact Support, in Scale-Space. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ada Wai-Chee Fu, Siu-Cheung Chau |
Cyclic-Cubes: A New Family of Interconnection Networks of Even Fixed-Degrees. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
generalized hypercube, fixed degree, interconnection, Cayley graphs |
16 | Premkumar Vadapalli, Pradip K. Srimani |
A New Family of Cayley Graph Interconnection Networks of Constant Degree Four. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
constant degree, simple routing, fault tolerance, Interconnection network, generators, Cayley graph, optimal routing |
16 | Deepak Kapur, Mahadevan Subramaniam |
Mechanically Verifying a Family of Multiplier Circuits. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Masaru Takesue |
A Family of Parallel Prefix Algorithms Embedded in Networks. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
parallel prefix algorithms, associative binary operator, interconnection networks, hypercube, hypercube networks, communication pattern, omega network, parallelalgorithms |
16 | Wen-Jing Hsu, Carl V. Page, Jen-Shiuh Liu |
Parallel Contraction of Fibonacci Trees and Prefix Computations on a Family of Interconnection Topologies. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Babak Sadeghiyan, Yuliang Zheng 0001, Josef Pieprzyk |
How to Construct A Family of Strong One Way Permutations. |
ASIACRYPT |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Joffroy Beauquier, Annie Choquet, Antoine Petit 0001, Guy Vidal-Naquet |
Detection of Deadlocks in an Infinite Family of Nets. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
deadlock detection, massive parallelism |
16 | Kiril Boyanov, K. Yanev |
A Family of Highly Parallel Computers. |
CONPAR |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Phyllis G. Frankl, Elaine J. Weyuker |
An Applicable Family of Data Flow Testing Criteria. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria |
16 | William E. Burr, Aaron H. Coleman, William R. Smith |
Overview of the military computer family architecture selection. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Young Joon Ahn, Christoph M. Hoffmann |
Constraint-based LN-curves. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
LN-curves, MCAD, convolution, geometric constraints, CAGD, GPU programming |
15 | Manuela Bucci, Caterina Calefato, Sergio Colombetti, Monica Milani, Roberto Montanari 0003 |
Fridge fridge on the wall: what can I cook for us all?: an HMI study for an intelligent fridge. |
AVI |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Amotz Bar-Noy, Sudipto Guha, Yoav Katz, Joseph Naor, Baruch Schieber, Hadas Shachnai |
Throughput maximization of real-time scheduling with batching. |
ACM Trans. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
local ratio technique, Scheduling, batching |
15 | Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart |
On the expressiveness of probabilistic XML models. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases |
15 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A general datalog-based framework for tractable query answering over ontologies. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
15 | Olivier Billet, Kaoutar Elkhiyaoui |
Two Attacks against the Ff RFID Protocol. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Lin Liu 0003, Jonathan Billington |
Recursive Parametric Automata and epsilon-Removal. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification |
15 | Ofir Pele, Michael Werman |
Robust Real-Time Pattern Matching Using Bayesian Sequential Hypothesis Testing. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ramin Eslami, Xiaolin Wu 0001 |
Video denoising using 3-D Hybrid Wavelets and Directional filter banks. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kang-Lin Peng, Ming-Chu Lin |
Providing Service Innovation for Creative Life. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Benny Kimelfeld, Yuri Kosharovsky, Yehoshua Sagiv |
Query efficiency in probabilistic XML models. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
approximate query evaluation, probabilistic xml, query processing, query optimization, probabilistic databases |
15 | Shotaro Akaho |
Dimension Reduction for Mixtures of Exponential Families. |
ICANN (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Chunsheng Ma |
Planar-Temporal Stationary Correlation Models That Depend on the Maximum Norm. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Jerónimo-Castro |
Line Transversals to Translates of Unit Discs. |
Discret. Comput. Geom. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Tim Güneysu, Christof Paar, Sven Schäge |
Efficient Hash Collision Search Strategies on Special-Purpose Hardware. |
WEWoRC |
2007 |
DBLP DOI BibTeX RDF |
Crypto Attacks, Hash functions, Special-purpose Hardware |
15 | Giusi Castiglione, Roberto Vaglica |
Recognizable Picture Languages and Polyominoes. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Noga Alon, Shai Gutner |
Balanced Families of Perfect Hash Functions and Their Applications. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
approximate counting of subgraphs, perfect hashing, color-coding |
15 | Jerry Martin |
Working and training from home. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
support model, tech desk, work at nome, training, VPN, ISP, POP, SMTP, remote computing, business continuity |
15 | Nikos Dimokas, Dimitrios Katsaros 0001, Yannis Manolopoulos |
Node Clustering in Wireless Sensor Networks by Considering Structural Characteristics of the Network Graph. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
backbone formation, clustering, Sensor networks, energy conservation, network lifetime |
15 | Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka |
Maximal Intersection Queries in Randomized Graph Models. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Dominique Attali, Herbert Edelsbrunner, John Harer, Yuriy Mileyko |
Alpha-Beta Witness Complexes. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mingyu Guo, Vincent Conitzer |
Worst-case optimal redistribution of VCG payments. |
EC |
2007 |
DBLP DOI BibTeX RDF |
payment redistribution, mechanism design, Vickrey-Clarke-Groves mechanism |
15 | Yue Shang, Xiang-Gen Xia 0001 |
Shift-Full-Rank Matrices and Applications in Space-Time Trellis Codes for Relay Networks With Asynchronous Cooperative Diversity. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alexei E. Ashikhmin, Vitaly Skachek |
Decoding of Expander Codes at Rates Close to Capacity. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Chadi Abou-Rjeily, Norbert Daniele, Jean-Claude Belfiore |
Space-Time Coding for Multiuser Ultra-Wideband Communications. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Chadi Abou-Rjeily, Norbert Daniele, Jean-Claude Belfiore |
Space-Time Coding for Multiuser Ultra-Wideband Communications. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Amos Korman, David Peleg, Yoav Rodeh |
Constructing Labeling Schemes Through Universal Matrices. |
ISAAC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Katalin Gyarmati |
On a Fast Version of a Pseudorandom Generator. |
GTIT-C |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Shakhar Smorodinsky |
On the chromatic number of some geometric hypergraphs. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Sánchez-Sánchez, Fernando Reyes-Cortés |
Cartesian Controller's Evaluation in Joint Space. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Hunt, David Sands 0001 |
On flow-sensitive security types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
15 | H. Conrad Cunningham, Pallavi Tadepalli |
Using Function Generalization to Design a Cosequential Processing Framework. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Luciana P. P. Bueno, Aluízio F. R. Araújo |
Controlling Chaos in Chaotic Bidirectional Associative Memories. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
15 | L. Ya. Savel'ev |
An Algorithm for Partitioning a Set into Simple Parts. |
Program. Comput. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Frederik Vanhaverbeke, Marc Moeneclaey |
Sum capacity of equal-power users in overloaded channels. |
IEEE Trans. Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Milos S. Kurilic |
Mad families, forcing and the Suslin Hypothesis. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Mad families, The Suslin Hypothesis, Forcing |
15 | Allen Van Gelder |
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Boris Aronov, Shakhar Smorodinsky |
On geometric permutations induced by lines transversal through a fixed point. |
SODA |
2005 |
DBLP BibTeX RDF |
|
15 | Dieter Hutter, Werner Stephan 0001 |
A Portrait of a Scientist: Logic, AI and Politics. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Emilio Corchado, Donald MacDonald, Colin Fyfe |
Maximum and Minimum Likelihood Hebbian Learning for Exploratory Projection Pursuit. |
Data Min. Knowl. Discov. |
2004 |
DBLP DOI BibTeX RDF |
exploratory projection pursuit, artificial neural networks |
15 | Steven N. Evans, Tandy J. Warnow |
Unidentifiable Divergence Times in Rates-across-Sites Models. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2004 |
DBLP DOI BibTeX RDF |
identifiability, gamma distribution, Phylogenetic inference, random effects |
15 | Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami |
Dynamic Arabic Mathematical Fonts. |
TEX, XML, and Digital Typography |
2004 |
DBLP DOI BibTeX RDF |
Mathematical font, Dynamic font, Variable-sized symbols, Arabic mathematical writing, Multilingual documents, Post- Script and OpenType, Unicode |
15 | Janet Wesson, Mathys C. du Plessis, Craig Oosthuizen |
A ZoomTree interface for searching genealogical information. |
Afrigraph |
2004 |
DBLP DOI BibTeX RDF |
genealogical information systems, zoomable user interfaces, information visualisation |
15 | Jintae Kim, Minseong Kim, Hwasil Yang, Sooyong Park |
A Method and Tool Support for Variant Requirements Analysis: Goal and Scenario Based Approach. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu |
Hierarchies of DLOGTIME-Uniform Circuits. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Akio Koyama, Tadahiko Abiko, Noriyuki Kamibayashi, Norio Narita |
A Care Communication Service System for Improving Inpatients Quality of Life. |
DEXA Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Hereth Correia, Julia Klinger |
Protoconcept Graphs: The Lattice of Conceptual Contents. |
ICFCA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Donghoon Chang, Wonil Lee, Seokhie Hong, Jaechul Sung, Sangjin Lee 0002, Soo Hak Sung |
Impossibility of Construction of OWHF and UOWHF from PGV Model Based on Block Cipher Secure Against ACPCA. |
INDOCRYPT |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Erik D. Demaine, Fedor V. Fomin, Mohammad Taghi Hajiaghayi, Dimitrios M. Thilikos |
Bidimensional Parameters and Local Treewidth. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Krzysztof Czarnecki 0001 |
Generative Software Development. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Serkan Hosten, Rekha R. Thomas |
Gomory integer programs. |
Math. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Picasso, Antonio Bicchi |
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jernej Kovse, Theo Härder |
DSL-DIA - An Environment for Domain-Specific Languages for Database-Intensive Applications. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tetsuo Asano, Naoki Katoh, Koji Obokata, Takeshi Tokuyama |
Matrix rounding under the Lp-discrepancy measure and its application to digital halftoning. |
SODA |
2002 |
DBLP BibTeX RDF |
|
15 | Amotz Bar-Noy, Sudipto Guha, Yoav Katz, Joseph Naor, Baruch Schieber, Hadas Shachnai |
Throughput maximization of real-time scheduling with batching. |
SODA |
2002 |
DBLP BibTeX RDF |
|
15 | Alexander Gamburd, Igor Pak |
Expansion of product replacement graphs. |
SODA |
2002 |
DBLP BibTeX RDF |
|
15 | Sarvar Patel, Zulfikar Ramzan, Ganapathy S. Sundaram |
Luby-Rackoff Ciphers: Why XOR Is Not So Exclusive. |
Selected Areas in Cryptography |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Colin Fyfe, Emilio Corchado |
A New Neural Implementation of Exploratory Projection Pursuit. |
IDEAL |
2002 |
DBLP DOI BibTeX RDF |
|
15 | David B. H. Tay |
Lifting based integer wavelet transform with binary coefficients. |
ISCAS (4) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Kannan Mohan, Balasubramaniam Ramesh |
Managing Variability with Traceability in Product and Service Families. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
e-service families, knowledge management, traceability, variability, Product families, commonality |
15 | Stuart R. Faulk |
Product-Line Requirements Specification (PRS): An Approach and Case Study. |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Didier Caucal |
On the Transition Graphs of Turing Machines. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Lucas Kovar, Michael Gleicher |
Simplicial families of drawings. |
UIST |
2001 |
DBLP DOI BibTeX RDF |
geometric modeling, Animation with constraints |
15 | David J. McClurkin, George F. Georgakopoulos |
Sphendamnoe: A Proof that k-Splay Fails to Achieve logkN Behaviour. |
Panhellenic Conference on Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Zhenkun Gou, Colin Fyfe |
Generalised Canonical Correlation Analysis. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Tetsuo Asano, Tomomi Matsui, Takeshi Tokuyama |
On the Complexities of the Optimal Rounding Problems of Sequences and Matrices. |
SWAT |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Tomás Kaiser, Yuri Rabinovich |
Intersection Properties of Families of Convex (n, d)-Bodies. |
Discret. Comput. Geom. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Erik Ernst |
Propagating Class and Method Combination. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | David M. Weiss 0001 |
Commonality Analysis: A Systematic Process for Defining Families. |
ESPRIT ARES Workshop |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Burton S. Kaliski Jr. |
ECC/DLP and Fractoring-Based Cryptography: A Tale of Two Families (Abstract). |
ASIACRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Stanley M. Sutton Jr., Leon J. Osterweil |
Product families and process families. |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
software process families, host platforms, software process engineering, security, software engineering, product lines, software product families |
15 | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski |
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
|
15 | George Havas, Bohdan S. Majewski, Nicholas C. Wormald, Zbigniew J. Czech |
Graphs, Hypergraphs and Hashing. |
WG |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Paul Gastin |
Recognizable and Rational Languages of Finite and Infinite Traces. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Joaquim Gabarró |
Initial Index: A New Complexity Function for Languages. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Wilhelm J. Erni |
On the Time and Tape Complexity of Hyper(1)-AFL's. |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
15 | James Warner, Ronald L. Boase |
Numeric control machine tool technology and applications. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
14 | Rafael Ballagas, Hayes Raffle, Janet Go, Glenda Revelle, Joseph Kaye, Morgan Ames, Hiroshi Horii, Koichi Mori, Mirjana Spasojevic |
Story Time for the 21st Century. |
IEEE Pervasive Comput. |
2010 |
DBLP DOI BibTeX RDF |
Video Conferencing, Educational Technologies, Family Communication |
14 | Sun Young Park, John Zimmerman |
Investigating the opportunity for a smart activity bag. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
dual-income family, needs validation., smart bag, speed dating, ubiquitous computing, mobile devices, reminders, research through design |
14 | Raúl A. Santelices, Mary Jean Harrold |
Exploiting program dependencies for scalable multiple-path symbolic execution. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition |
14 | Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede |
Questionnaire-based variability modeling for system configuration. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Questionnaire, Variability modeling, System configuration, Software product family |
14 | William Harrison, David Lievens, Fabio Simeoni |
Safer typing of complex API usage through Java generics. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
family polymorphism, interface-based programming, programming patterns, generics, programming languages |
14 | Katsuhisa Yamanaka, Yota Otachi, Shin-Ichi Nakano |
Efficient Enumeration of Ordered Trees with kLeaves (Extended Abstract). |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
family tree, algorithm, graph, enumeration, ordered tree |
14 | Siân E. Lindley, Dave W. Randall 0001, Wes Sharrock, Maxine Glancy, Nicola Smyth, Richard H. R. Harper |
Narrative, memory and practice: tensions and choices in the use of a digital artefact. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
everyday, mundane, mobile, children, storytelling, identity, wearable, camera, user-generated content, family, photography, passive, automatic, lifelogging, SenseCam, grandparents |
14 | Ramon Solves Pujol, Hiroyuki Umemuro |
Productive Love: A New Proposal for Designing Affective Technology. |
HCI (1) |
2009 |
DBLP DOI BibTeX RDF |
Productive Love, affective technology, lovers, knowledge, responsibility, family, care, respect |
14 | Kipum Lee, Shelley Evenson, Richard Buchanan |
More than kimchi and cash: designing for cultural identity. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
Korean Americans, designing for culture, forms of interaction, culture, identity, participation, family |
14 | Ramon Solves Pujol, Hiroyuki Umemuro |
Productive love: a new approach for designing affective technology. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
affective technology, lovers, productive love, knowledge, responsibility, family, care, respect |
14 | Kan Yasuda |
HMAC without the "Second" Key. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
Cascade construction, prefix-free PRF, hybrid argument, multi-oracle family, affix |
14 | Bo Chen |
F-Compactness in L-closure Spaces. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
L-closure space, remote neighborhood family, F-compactness, a-net, r-cover |
Displaying result #501 - #600 of 14259 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|