Search results for "family"

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