Search results for "characterization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Mitre Costa Dourado, Fábio Protti, Jayme Luiz Szwarcfiter	Characterization and Recognition of Generalized Clique-Helly Graphs.	WG	2004	DBLP DOI BibTeX RDF
15	José Miguel Rocha-Pérez, Jorge Pedraza, Francisco Rodríguez, Federico Sandoval-Ibarra	Electrical Characterization of a Polymeric Sensor for Hydrocarbon Spillage Detection.	CONIELECOMP	2004	DBLP DOI BibTeX RDF
15	Alberto Valdes-Garcia, José Silva-Martínez, Edgar Sánchez-Sinencio	An On-Chip Transfer Function Characterization System for Analog Built-in Testing.	VTS	2004	DBLP DOI BibTeX RDF
15	Sukanta Das, Biplab K. Sikdar, Parimal Pal Chaudhuri	Characterization of Reachable/Nonreachable Cellular Automata States.	ACRI	2004	DBLP DOI BibTeX RDF
15	M. Addino, Mario R. Casu, Guido Masera, Gianluca Piccinini, Maurizio Zamboni	A Block-Based Approach for SoC Global Interconnect Electrical Parameters Characterization.	PATMOS	2003	DBLP DOI BibTeX RDF
15	Spyros A. Reveliotis	On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.	ICATPN	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution
15	Miguel Delgado 0001, María J. Martín-Bautista, Daniel Sánchez 0001, María Amparo Vila Miranda	On a Characterization of Fuzzy Bags.	IFSA	2003	DBLP DOI BibTeX RDF
15	Ron Lavi, Ahuva Mu'alem, Noam Nisan	Towards a Characterization of Truthful Combinatorial Auctions.	FOCS	2003	DBLP DOI BibTeX RDF
15	Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell 0001	An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.	FoSSaCS	2003	DBLP DOI BibTeX RDF
15	Nedeljko Cvejic, Tapio Seppänen	Increasing Robustness of an Improved Spread Spectrum Audio Watermarking Method Using Attack Characterization.	IWDW	2003	DBLP DOI BibTeX RDF
15	E. Kinvi-Boh, M. Aline, Olivier Sentieys, Edgar "Dan" Olson	MVL circuit design and characterization at the transistor level using SUS-LOC.	ISMVL	2003	DBLP DOI BibTeX RDF
15	Wing Ning Li	Convergent transfer subgraph characterization and computation.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
15	Aleksandar Tasic, Wouter A. Serdijn, John R. Long	Adaptivity figures of merit and K-rail diagrams - comprehensive performance characterization of low-noise amplifiers and voltage-controlled oscillators.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
15	David J. Bruemmer, Julie L. Marble, Donald D. Dudenhoeffer, Matthew O. Anderson, Mark D. McKay	Mixed-Initiative Control for Remote Characterization of Hazardous Environments.	HICSS	2003	DBLP DOI BibTeX RDF
15	Albert Atserias, Víctor Dalmau	A Combinatorial Characterization of Resolution Width.	CCC	2003	DBLP DOI BibTeX RDF
15	Alejandro Millán 0001, Jorge Juan-Chico, Manuel J. Bellido, Paulino Ruiz-de-Clavijo, David Guerrero Martos	Characterization of Normal Propagation Delay for Delay Degradation Model (DDM).	PATMOS	2002	DBLP DOI BibTeX RDF
15	S. K. Michael Wong, Dan Wu 0006, Tao Lin 0012	A Structural Characterization of DAG-Isomorphic Dependency Models.	AI	2002	DBLP DOI BibTeX RDF
15	Michela Taufer, Egon Perathoner, Andrea Cavalli, Amedeo Caflisch, Thomas Stricker	Performance Characterization of a Molecular Dynamics Code on PC Clusters: Is There Any Easy Parallelism in CHARMM?.	IPDPS	2002	DBLP DOI BibTeX RDF	cluster of PCs, distributed molecular dynamics, middleware, distributed computation, message passing, performance optimization, performance tuning
15	Mark Craig, Alvin Jee, Prashant Maniar	An Integrated Approach to Yield Loss Characterization.	ITC	2002	DBLP DOI BibTeX RDF
15	Eveline Veloso, Virgílio A. F. Almeida, Wagner Meira Jr., Azer Bestavros, Shudong Jin	A hierarchical characterization of a live streaming media workload.	Internet Measurement Workshop	2002	DBLP DOI BibTeX RDF
15	Anna Gál	A characterization of span program size and improved lower bounds for monotone span programs.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	Span programs, Boolean formula size, secret sharing..¶ Subject classification. 68Q15, lower bounds, 94C10
15	Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
15	Stephen J. Hegner	Characterization of Type Hierarchies with Open Specification.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
15	Christian Germain, Jean-Pierre Da Costa, Pierre Baylou	Multiscale Estimation of Textural Features. Application to the Characterization of Texture Anisotropy.	ICPR	2000	DBLP DOI BibTeX RDF
15	Johan Ditmar, Kjell Torkelsson, Axel Jantsch	A Dynamically Reconfigurable FPGA-Based Content Addressable Memory for Internet Protocol Characterization.	FPL	2000	DBLP DOI BibTeX RDF
15	Katsumi Inoue	A Simple Characterization of Extended Abduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
15	Mingfu Li, Hsin-Min Peng, Chia-Shu Liao	Fast Computation of Time Deviation and Modified Allan Deviation for Telecommunications Clock Stability Characterization.	ISPAN	2000	DBLP DOI BibTeX RDF
15	Hubert de Fraysseix, Patrice Ossona de Mendez	On a Characterization of Gauss Codes.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
15	Tulika Mitra, Tzi-cker Chiueh	Dynamic 3D Graphics Workload Characterization and the Architectural Implications.	MICRO	1999	DBLP DOI BibTeX RDF
15	Dora Giammarresi, Jean-Luc Ponty, Derick Wood	Thompson Digraphs: A Characterization.	WIA	1999	DBLP DOI BibTeX RDF
15	Gerald Jean Francis Banon	Characterization of Linear and Morphological Operators.	SIBGRAPI	1999	DBLP DOI BibTeX RDF
15	Weichuan Yu, Gerald Sommer, Steven S. Beauchemin, Konstantinos Daniilidis	Detection and Characterization of Multiple Motion Points.	CVPR	1999	DBLP DOI BibTeX RDF	Multiple Motion Estimation, occlusion, EM-algorithm, transparency
15	Bengt Jonsson 0001, Wang Yi 0001	Fully Abstract Characterization of Probabilistic May Testing.	ARTS	1999	DBLP DOI BibTeX RDF
15	Mihir Bellare, Amit Sahai	Non-malleable Encryption: Equivalence between Two Notions, and an Indistinguishability-Based Characterization.	CRYPTO	1999	DBLP DOI BibTeX RDF
15	Jovan Dj. Golic	On Matroid Characterization of Ideal Secret Sharing Schemes.	J. Cryptol.	1998	DBLP DOI BibTeX RDF	Matroids, Matroids, Key words, Ideal secret sharing schemes, Ideal secret sharing schemes, Access structures, Access structures
15	Sanjeev Arora, Shmuel Safra	Probabilistic Checking of Proofs: A New Characterization of NP.	J. ACM	1998	DBLP DOI BibTeX RDF	computations on polynomials and finite fields, proof checking, reducibility and completeness, trade-offs/relations among complexity measures, approximation algorithms, NP-completeness, error-correcting codes, hardness of approximations, probabilistic computation, interactive computation, complexity hierarchies
15	Giovanni Manzini	Characterization of Sensitive Linear Cellular Automata with Respect to the Counting Distance.	MFCS	1998	DBLP DOI BibTeX RDF
15	Heiko Mantel, Christoph Kreitz	A Matrix Characterization for MELL.	JELIA	1998	DBLP DOI BibTeX RDF
15	Susanna Donatelli, Serge Haddad, Patrice Moreaux	Structured Characterization of the Markov Chain of Phase-Type SPN.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
15	Mariano Gasca, Juan Manuel Peña 0001	On the characterization of almost strictly totally positive matrices.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF
15	Masakiyo Miyazawa	On the characterization of departure rules for discrete-time queueing networks with batch movements and its applications.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	batch service, D-rule, reversed-time process, traffic flow, product form, Discrete-time queue, batch arrival, quasi-reversibility
15	V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski	Modal Nonmonotonic Logics: Ranges, Characterization, Computation.	J. ACM	1993	DBLP DOI BibTeX RDF
15	Rabin A. Sugumar, Santosh G. Abraham	Efficient Simulation of Caches under Optimal Replacement with Applications to Miss Characterization.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
15	Robert Demolombe	Syntactical Characterization of a Subset of Domain-Independent Formulas.	J. ACM	1992	DBLP DOI BibTeX RDF	relational model
15	Héctor J. Hernández, Edward P. F. Chan	A Characterization of Constant-time-mainteinability for BCNF Database Schemes.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
13	Mohammad Tehranipoor, Farinaz Koushanfar	A Survey of Hardware Trojan Taxonomy and Detection.	IEEE Des. Test Comput.	2010	DBLP DOI BibTeX RDF	hardware Trojans, Trojan taxonomy and detection, security, design and test, ICs
13	Jan De Beule, Patrick Govaerts, Anja Hallez, Leo Storme	Tight sets, weighted m -covers, weighted m -ovoids, and minihypers.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 05B25, 51E20, 51E12, 51E22
13	Jorge Otero Diaz, Manel Puig-Vidal, Manel Frigola, Alicia Casals	Micro-to-nano optical resolution in a multirobot nanobiocharacterization station.	IROS	2009	DBLP DOI BibTeX RDF
13	Steven Bethard, Philipp G. Wetzler, Kirsten R. Butcher, James H. Martin, Tamara Sumner	Automatically characterizing resource quality for educational digital libraries.	JCDL	2009	DBLP DOI BibTeX RDF	machine learning, quality, educational digital library, learning resource
13	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
13	Olga Rajadell, Pedro García-Sevilla, Filiberto Pla	Scale Analysis of Several Filter Banks for Color Texture Classification.	ISVC (2)	2009	DBLP DOI BibTeX RDF
13	Dimitrios I. Diochnos, György Turán	On Evolvability: The Swapping Algorithm, Product Distributions, and Covariance.	SAGA	2009	DBLP DOI BibTeX RDF	learning, evolution
13	Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, Yuko Sakurai	Characterizing false-name-proof allocation rules in combinatorial auctions.	AAMAS (1)	2009	DBLP BibTeX RDF	false-name-proof, mechanism design, combinatorial auctions
13	S. Anticaglia, Ferruccio Barsi, Alan A. Bertossi, L. Iamele, Maria Cristina Pinotti	Efficient heuristics for data broadcasting on multiple channels.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Flat scheduling, Dynamic programming, Heuristics, Wireless communication, Data broadcasting, Multiple channels, Average waiting time
13	Laura Cruz Reyes, Eustorgio Meza Conde, Tania Turrubiates López, Claudia Gómez Santillán, Rogelio Ortega Izaguirre	Statistical Selection of Relevant Features to Classify Random, Scale Free and Exponential Networks.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Internet Modeling, Classification, Complex Networks, Experimental Design, Variable Selection
13	Danilo Avola, Luigi Cinque	Encephalic NMR image analysis by textural interpretation.	SAC	2008	DBLP DOI BibTeX RDF	pattern recognition, feature extraction, texture analysis
13	Mikolaj Bojanczyk, Luc Segoufin	Tree Languages Defined in First-Order Logic with One Quantifier Alternation.	ICALP (2)	2008	DBLP DOI BibTeX RDF
13	Tyler H. Summers, Changbin Yu, Brian D. O. Anderson	Robustness to agent loss in vehicle formations & sensor networks.	CDC	2008	DBLP DOI BibTeX RDF
13	Nicholas Allec, Zyad Hassan, Li Shang, Robert P. Dick, Ronggui Yang	ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits.	ICCAD	2008	DBLP DOI BibTeX RDF
13	Fabrizio Durante, Susanne Saminger-Platz, Peter Sarkoci	On Patchwork Techniques for 2-Increasing Aggregation Functions and Copulas.	SMPS	2008	DBLP DOI BibTeX RDF
13	Christophe Hurter, Stéphane Conversy	Towards Characterizing Visualizations.	DSV-IS	2008	DBLP DOI BibTeX RDF	Topics Development Processes, Specification of Interactive Systems, Verification and Validation
13	Tali Kaufman, Madhu Sudan 0001	Algebraic property testing: the role of invariance.	STOC	2008	DBLP DOI BibTeX RDF	error-correcting codes, locally testable codes, sublinear time algorithms
13	Yousra Alkabani, Farinaz Koushanfar, Negar Kiyavash, Miodrag Potkonjak	Trusted Integrated Circuits: A Nondestructive Hidden Characteristics Extraction Approach.	Information Hiding	2008	DBLP DOI BibTeX RDF
13	Manoj Prabhakaran 0001, Mike Rosulek	Cryptographic Complexity of Multi-Party Computation Problems: Classifications and Separations.	CRYPTO	2008	DBLP DOI BibTeX RDF
13	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Deciding equivalences among conjunctive aggregate queries.	J. ACM	2007	DBLP DOI BibTeX RDF	bag-set semantics, Aggregation, Datalog, query equivalence
13	Ragini Verma, Peng Wang 0005	On Detecting Subtle Pathology via Tissue Clustering of Multi-parametric Data using Affinity Propagation.	ICCV	2007	DBLP DOI BibTeX RDF
13	Paolo Azzoni, Massimo Bertoletti, Nicola Dragone, Franco Fummi, Carlo Guardiani, W. Vendraminetto	Yield-aware placement optimization.	DATE	2007	DBLP DOI BibTeX RDF
13	Derrick Kondo, Filipe Araújo, Paul Malecot, Patrício Domingues, Luís Moura Silva, Gilles Fedak, Franck Cappello	Characterizing Result Errors in Internet Desktop Grids.	Euro-Par	2007	DBLP DOI BibTeX RDF
13	Vishal Doshi, Devavrat Shah, Muriel Médard, Sidharth Jaggi	Distributed Functional Compression through Graph Coloring.	DCC	2007	DBLP DOI BibTeX RDF
13	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness Are Symmetric.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
13	Minghui Shi, Changle Zhou	Diagnostic Rules Discovery with Hierarchical Clustering and Focusing Mechanism Based on Rough Sets Theory.	FSKD (2)	2007	DBLP DOI BibTeX RDF
13	Chunmei Liu, Yinglei Song, Louis W. Shapiro	RNA Folding Including Pseudoknots: A New Parameterized Algorithm and Improved Upper Bound.	WABI	2007	DBLP DOI BibTeX RDF	path decomposition, maximum weighted independent set, free energy, pseudoknot, RNA secondary structure prediction
13	Guo Yu, Wei Dong 0002, Zhuo Feng, Peng Li 0001	A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis.	DAC	2007	DBLP DOI BibTeX RDF
13	Nicholas Journet, Jean-Yves Ramel, Rémy Mullot, Véronique Eglin	A Proposition of Retrieval Tools for Historical Document Images Libraries.	ICDAR	2007	DBLP DOI BibTeX RDF
13	Gennian Ge, Ying Miao 0001, Lie Zhu	GOB designs for authentication codes with arbitration.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	51E20, 05B30, AMS Classification 94A62
13	Ertem Tuncel	Slepian-Wolf coding over broadcast channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	Alan A. Bertossi, Maria Cristina Pinotti	Skewed allocation of non-uniform data for broadcasting over multiple channels.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Bhavna Agrawal, Jeffrey G. Hemmett, Karl K. Moody, David B. White	Techniques to address increased dimensionality of ASIC library design.	ISCAS	2006	DBLP DOI BibTeX RDF
13	Andrew B. Kahng, Bao Liu 0001, Xu Xu 0001	Constructing Current-Based Gate Models Based on Existing Timing Library.	ISQED	2006	DBLP DOI BibTeX RDF
13	Ronak Shah, Anima Mishra, Subrata Rakshit	Robust Occluded Shape Recognition.	ACCV (1)	2006	DBLP DOI BibTeX RDF
13	Guy Lebanon	Axiomatic geometry of conditional models.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
13	Angel Lozano, Antonia M. Tulino, Sergio Verdú	High-SNR power offset in multiantenna communication.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
13	Itai Sher	Individual error, group error, and the value of information.	TARK	2005	DBLP BibTeX RDF
13	Daniel Stutzbach, Reza Rejaie	Capturing accurate snapshots of the Gnutella network.	INFOCOM	2005	DBLP DOI BibTeX RDF
13	S. S. Mohamed, Amr M. Youssef, E. F. El-Saadany, Magdy M. A. Salama	Artificial Life Feature Selection Techniques for Prostrate Cancer Diagnosis Using TRUS Images.	ICIAR	2005	DBLP DOI BibTeX RDF
13	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
13	Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	A hybrid energy-estimation technique for extensible processors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
13	Denis Thérien, Thomas Wilke	Nesting Until and Since in Linear Temporal Logic.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
13	William Krivan	Fishing for Proteins in the Pacific Northwest.	Regulatory Genomics	2004	DBLP DOI BibTeX RDF
13	Antonietta Spedalieri, Israel Martín-Escalona, Francisco Barceló 0001	Simulation Analysis of Teletraffic Variables in DCA Cellular Networks.	ECUMN	2004	DBLP DOI BibTeX RDF
13	Ramyanshu Datta, Antony Sebastine, Ashwin Raghunathan, Jacob A. Abraham	On-chip delay measurement for silicon debug.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	design for testability, delay fault testing, silicon debug
13	Rajeev Alur, P. Madhusudan	Visibly pushdown languages.	STOC	2004	DBLP DOI BibTeX RDF	?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
13	Teddy Turmeaux, Ansaf Salleb, Christel Vrain, Daniel Cassard	Learning Characteristic Rules Relying on Quantified Paths.	PKDD	2003	DBLP DOI BibTeX RDF	Characteristic Rules, Data Mining, Machine Learning, Relational Databases, Spatial Databases, Inductive Logic Programming
13	Didier Galmiche, J.-M. Notin	Connection-Based Proof Construction in Non-commutative Logic.	LPAR	2003	DBLP DOI BibTeX RDF
13	Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Energy Estimation for Extensible Processors.	DATE	2003	DBLP DOI BibTeX RDF
13	Najeeb-ud-Din Hakim, V. Ramgopal Rao, J. Vasi	Small Signal Characteristics of Thin Film Single Halo SOI MOSFET for Mixed Mode Applications.	VLSI Design	2003	DBLP DOI BibTeX RDF
13	Arnaud Carayol, Stefan Wöhrle	The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.	FSTTCS	2003	DBLP DOI BibTeX RDF
13	John F. Croix, D. F. Wong 0001	Blade and razor: cell and interconnect delay analysis using current-based models.	DAC	2003	DBLP DOI BibTeX RDF	blade, current-based model, razor, recursive convolution, timing analysis, interconnect model, cell model
13	Erich Grädel, Colin Hirsch, Martin Otto 0001	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
13	David J. Littlewood, P. A. Drakopoulos, Ganesh Subbarayan	Pareto-optimal formulations for cost versus colorimetric accuracy trade-offs in printer color management.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	CMYK, Color Conversion, Color Fidelity, Color Management, Color Space Transformation, Tetrahedral Interpolation, Optimization, Artificial Neural Networks, Pareto-optimization, Color Matching, Color Printing