Search results for "admissibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Luigi Sauro	Formalizing admissibility criteria in coalition formation among goal-directed agents.		2006	RDF
18	Walid Abu-Dayyeh, Kailash C. Madan	The admissibility of the LRT for the exponential family model.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
18	Hans Zwart	Sufficient conditions for admissibility.	Syst. Control. Lett.	2005	DBLP DOI BibTeX RDF
18	Gennady Veselovsky	An Approach for Permutation Admissibility to a Binary Hypercube Under e-routing.	PDPTA	2005	DBLP BibTeX RDF
18	Bingo Wing-Kuen Ling, Charlotte Yuk-Fan Ho, Peter Kwong-Shun Tam	Admissibility of unstable second-order digital filters with two's complement arithmetic.	Int. J. Circuit Theory Appl.	2004	DBLP DOI BibTeX RDF
18	Constantin Chilarescu, Alin Pogan, Ciprian Preda	On the connection between the exponential stability of C0-semigroups and the admissibility of a certain Sobolev space.	Syst. Control. Lett.	2004	DBLP DOI BibTeX RDF
18	Gennady Veselovsky, Phanthip Thaiyoo	On BPC Permutations Admissibility to R-path Omega Networks.	PDPTA	2004	DBLP BibTeX RDF
18	Kevin A. Grasse	Admissibility of Trajectories for Control Systems Related by Smooth Mappings.	Math. Control. Signals Syst.	2003	DBLP DOI BibTeX RDF
18	H. H. L. M. Donkers, Jos W. H. M. Uiterwijk, H. Jaap van den Herik	Admissibility in opponent-model search.	Inf. Sci.	2003	DBLP DOI BibTeX RDF
18	Geir B. Asheim, Martin Dufwenberg	Admissibility and common belief.	Games Econ. Behav.	2003	DBLP DOI BibTeX RDF
18	Lixin Gao, Wenhai Chen, Youxian Sun	On robust admissibility condition for descriptor systems with convex polytopic uncertainty.	ACC	2003	DBLP DOI BibTeX RDF
18	Thomas Moor, Jörg Raisch, Jennifer M. Davoren	Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1.	ADHS	2003	DBLP DOI BibTeX RDF
18	Rosalie Iemhoff	Towards a Proof System for Admissibility.	CSL	2003	DBLP DOI BibTeX RDF
18	Matthias Schröder 0001	Extended admissibility.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	Junshan Zhang, Edwin K. P. Chong	Correction to "CDMA Systems in fading channels: Admissibility, network capacity, and power control".	IEEE Trans. Inf. Theory	2002	DBLP DOI BibTeX RDF
18	Jeroen Donkers, Jos W. H. M. Uiterwijk, H. Jaap van den Herik	Admissibility in Opponent-Model Search.	JCIS	2002	DBLP BibTeX RDF
18	Yank Wang, Q. L. Zhang, X. D. Liu	Robustness design of uncertain discrete-time fuzzy descriptor systems with guaranteed admissibility.	ACC	2002	DBLP DOI BibTeX RDF
18	Roy Dyckhoff, Sara Negri	Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.	Log. J. IGPL	2001	DBLP DOI BibTeX RDF
18	M. Shafie Abd Latiff, Marc Cavazza, Ian J. Palmer	Co-ordination of Multi-agents Path Planning using Synchronous Near-Admissibility A* (SNA*) Algorithm.	GAME-ON	2001	DBLP BibTeX RDF
18	Tianjiao Chu, Richard Scheines, Peter Spirtes	Semi-Instrumental Variables: A Test for Instrument Admissibility.	UAI	2001	DBLP BibTeX RDF
18	Roy Dyckhoff, Sara Negri	Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
18	Martín Abadi	top-top-closed relations and admissibility.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
18	Dick Oehrle	Context-Sensitive Node Admissibility.	Grammars	2000	DBLP DOI BibTeX RDF
18	Harumi Hattori	The Entropy Rate Admissibility Criterion and the Entropy Condition for a Phase Transition Problem: The Isothermal Case.	SIAM J. Math. Anal.	2000	DBLP DOI BibTeX RDF
18	Ferenc Darvas, György Dormán, Ákos Papp	Diversity Measures for Enhancing ADME Admissibility of Combinatorial Libraries.	J. Chem. Inf. Comput. Sci.	2000	DBLP DOI BibTeX RDF
18	Subir K. Biswas, Bhaskar Sengupta	Call admissibility for multirate traffic in wireless ATM networks.	J. High Speed Networks	2000	DBLP BibTeX RDF
18	Junshan Zhang, Edwin K. P. Chong	CDMA systems in fading channels: Admissibility, network capacity, and power control.	IEEE Trans. Inf. Theory	2000	DBLP DOI BibTeX RDF
18	Michael Jung 0001	Admissibility of Control Operators for Solution Families to Volterra Integral Equations.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
18	Marcus Kracht	Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules.	Notre Dame J. Formal Log.	1999	DBLP DOI BibTeX RDF
18	Amanda J. Kearsley	Legal admissibility of evidence held in digital form.	Comput. Law Secur. Rev.	1999	DBLP DOI BibTeX RDF
18	Henri Farreny	Completeness and Admissibility for General Heuristic Search Algorithms-A Theoretical Study: Basic Concepts and Proofs.	J. Heuristics	1999	DBLP DOI BibTeX RDF
18	Zhenmin Chen, John W. Van Ness	Characterizations Of Nearest And Farthest Neighbor Algorithms By Clustering Admissibility Conditions.	Pattern Recognit.	1998	DBLP DOI BibTeX RDF
18	Assafa Endeshaw	Admissibility of evidence and jurisdiction relating to online fraud.	Comput. Law Secur. Rev.	1998	DBLP DOI BibTeX RDF
18	Nabanita Das 0001, Bhargab B. Bhattacharya, Rekha Menon, Sergei L. Bezrukov	Permutation admissibility in shuffle-exchange networks with arbitrary number of stages.	HiPC	1998	DBLP DOI BibTeX RDF
18	Gerd Kamp	On the Admissibility of Concrete Domains for CBR Based on Description Logics.	ICCBR	1997	DBLP DOI BibTeX RDF
18	Subir K. Biswas, Bhaskar Sengupta	Call Admissibility for Multirate Traffic in Wireless ATM Networks.	INFOCOM	1997	DBLP DOI BibTeX RDF
18	Henri Farreny	New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms.	EPIA	1997	DBLP DOI BibTeX RDF
18	Axel Doering, Miroslaw Galicki, Herbert Witte	Admissibility and Optimality of the Cascade-Correlation Algorithm.	ICANN	1997	DBLP DOI BibTeX RDF
18	Norbert Gaffke, Berthold Heiligers	30 Approximate designs for polynomial regression: Invariance, admissibility, and optimality.	Design and analysis of experiments	1996	DBLP DOI BibTeX RDF
18	Akira Hirabayashi, Hidemitsu Ogawa	Admissibility of memorization learning with respect to projection learning in the presence of noise.	ICNN	1996	DBLP DOI BibTeX RDF
18	Henri Farreny	Algorithms sigma for L-standard State Graphs: Results About Termination and Admissibility.	SBIA	1996	DBLP DOI BibTeX RDF
18	Xiaojun Shen, Mao Xu, Xiangzu Wang	An Optimal Algorithm for Permutation Admissibility to Multistage Interconnection Networks.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF
18	Vladimir V. Rybakov	Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.	Stud Logica	1994	DBLP DOI BibTeX RDF
18	Edwin D. Mares, Robert K. Meyer	The Admissibility of γ in R4.	Notre Dame J. Formal Log.	1992	DBLP DOI BibTeX RDF
18	A. P. Whittick	Admissibility of documents on optical disc.	Comput. Law Secur. Rev.	1990	DBLP DOI BibTeX RDF
18	Chris Reed 0002	The admissibility and authentication of computer evidence - a confusion of issues.	Comput. Law Secur. Rev.	1990	DBLP DOI BibTeX RDF
18	Vladimir V. Rybakov	Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
18	Eric L. Grinberg	The admissibility theorem for the hyperplane transform over a finite field.	J. Comb. Theory, Ser. A	1990	DBLP DOI BibTeX RDF
18	Ching-Long Shih, Y. Z. Li, S. Churng, Tsu-Tian Lee, William A. Gruver	Trajectory synthesis and physical admissibility for a biped robot during the single-support phase.	ICRA	1990	DBLP DOI BibTeX RDF
18	Zhi Ding 0001, C. Richard Johnson Jr., Rodney A. Kennedy	On the admissibility of blind adaptive equalizers.	ICASSP	1990	DBLP DOI BibTeX RDF
18	József Dénes, A. Donald Keedwell	A New Conjecture Concerning Admissibility of Groups.	Eur. J. Comb.	1989	DBLP DOI BibTeX RDF
18	Andrzej Biela	Program-Substitution and Admissibility of Rules in Algorithmic Logic.	Acta Informatica	1988	DBLP DOI BibTeX RDF
18	Robert S. Lubarsky	Admissibility spectra and minimality.	Ann. Pure Appl. Log.	1988	DBLP DOI BibTeX RDF
18	H. Isil Bozma, James S. Duncan	Admissibility Of Constraint Functions In Relaxation Labeling.	ICCV	1988	DBLP DOI BibTeX RDF
18	P. P. Chakrabarti 0001, Sujoy Ghose, S. C. De Sarkar	Admissibility of A0* when Heuristics Overestimate.	Artif. Intell.	1987	DBLP DOI BibTeX RDF
18	Roger King, Carolyn Stanley	Ensuring the Court Admissibility of Computer-Generated Records.	ACM Trans. Inf. Syst.	1985	DBLP DOI BibTeX RDF
18	Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla	Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.	TFAIS	1985	DBLP BibTeX RDF
18	Charles T. Meadow	Admissibility of delegates - author's reply.	J. Am. Soc. Inf. Sci.	1984	DBLP DOI BibTeX RDF
18	Charles H. Davis	Admissibility of delegates to international meetings.	J. Am. Soc. Inf. Sci.	1984	DBLP DOI BibTeX RDF
18	Gerhard Jäger	The Strength of Admissibility Without Foundation.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
18	Charles T. Meadow	Admissibility of delegates to international meetings.	J. Am. Soc. Inf. Sci.	1983	DBLP DOI BibTeX RDF
18	C. T. Chong	Global and local admissibility: II. Major subsets and automorphisms.	Ann. Pure Appl. Log.	1983	DBLP DOI BibTeX RDF
18	Michael A. McRobbie, Robert K. Meyer	A Note on the Admissibility of Cut in Relevant Tableau Systems.	Math. Log. Q.	1979	DBLP DOI BibTeX RDF
18	Brian R. Gaines, Ian H. Witten	Stability and Admissibility of Adaptive Threshold Logic Convergence.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF
18	Gregory M. Dotseth	Admissibility Results on Subspaces of C(R, R^n) and LL^p(R, R^n).	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
18	H. E. Gollwitzer	Admissibility and Integra Operators.	Math. Syst. Theory	1973	DBLP DOI BibTeX RDF
18	Thomas M. Cover	Admissibility properties or Gilbert's encoding for unknown source probabilities (Corresp.).	IEEE Trans. Inf. Theory	1972	DBLP DOI BibTeX RDF
18	Shigeru Igarashi	Admissibility of fixed-point induction in first- order logic of typed theories.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
14	Bechir Hamdaoui, Moncef Elaoud, Parameswaran Ramanathan	A delay-based admission control mechanism for multimedia support in IEEE 802.11e wireless LANs.	Wirel. Networks	2009	DBLP DOI BibTeX RDF	IEEE 802.11e WLANs, Quality of service, Modelling, Admission control, Multimedia traffic
14	Pei-Hua Yen, Chung-Huang Yang, Tae-Nam Ahn	Design and implementation of a live-analysis digital forensic system.	ICHIT	2009	DBLP DOI BibTeX RDF	live DVD/USB, digital forensics, digital evidences, live-analysis
14	Kenneth A. Manning, Sargur N. Srihari	Computer-Assisted Handwriting Analysis: Interaction with Legal Issues in U.S. Courts.	IWCF	2009	DBLP DOI BibTeX RDF
14	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
14	Hichem Ayed Harhira, Samuel Pierre	Dynamic admission control and path allocation for SLAs in DiffServ networks.	CCECE	2009	DBLP DOI BibTeX RDF
14	Javier Coego, Lawrence Mandow, José-Luis Pérez-de-la-Cruz	A New Approach to Iterative Deepening Multiobjective A.	AI*IA	2009	DBLP DOI BibTeX RDF
14	Joon Ho Cho, Qu Zhang, Lixin Gao	A comparison of frequency-division systems to code-division systems in overloaded channels.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
14	Henry Prakken	A formal model of adjudication dialogues.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal argument, Legal procedure, Adjudication, Dialogue games
14	Kaustuv Chaudhuri	Focusing Strategies in the Sequent Calculus of Synthetic Connectives.	LPAR	2008	DBLP DOI BibTeX RDF
14	Akihiro Inokuchi, Takashi Washio	A Fast Method to Mine Frequent Subsequences from Graph Sequence Data.	ICDM	2008	DBLP DOI BibTeX RDF
14	Stefan Berghofer, Christian Urban	Nominal Inversion Principles.	TPHOLs	2008	DBLP DOI BibTeX RDF
14	Bilal Sari, Olivier Bachelier, Driss Mehdi	An S-regularity approach to the robust analysis of descriptor models.	CDC	2008	DBLP DOI BibTeX RDF
14	Rodney McKemmish	When is Digital Evidence Forensically Sound? (PDF / PS)	IFIP Int. Conf. Digital Forensics	2008	DBLP DOI BibTeX RDF	forensically sound evidence, Digital evidence
14	Andrew Gacek	The Abella Interactive Theorem Prover (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
14	Bastian Katz, Markus Völker, Dorothea Wagner	Link Scheduling in Local Interference Models.	ALGOSENSORS	2008	DBLP DOI BibTeX RDF
14	Wen-Chao Yang, Che-Yen Wen, Chung-Hao Chen	Applying Public-Key Watermarking Techniques in Forensic Imaging to Preserve the Authenticity of the Evidence.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Integrity, Public-key Cryptography, Digital Image, Credibility, Digital Image Forensic
14	Peter Chapman, James McKinna, Christian Urban	Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Nominal Isabelle, logic, automated reasoning, Formal mathematics
14	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	J. ACM	2007	DBLP DOI BibTeX RDF	bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
14	Yongfang Zhu, Sarat C. Dass, Anil K. Jain 0001	Statistical Models for Assessing the Individuality of Fingerprints.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
14	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
14	H. Ahmadi, A. Pousaberi, A. Azizzadeh, Mahmoud Kamarei	An Efficient Iris Coding Based on Gauss-Laguerre Wavelets.	ICB	2007	DBLP DOI BibTeX RDF	Gauss-Laguerre wavelets, Circular harmonic wavelets, Biometrics, Iris recognition
14	Brigitte Pientka	Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.	TPHOLs	2007	DBLP DOI BibTeX RDF
14	Joaquin Gonzalez-Rodriguez, Daniel Ramos 0001	Forensic Automatic Speaker Classification in the "Coming Paradigm Shift".	Speaker Classification (1)	2007	DBLP DOI BibTeX RDF	Daubert rules, calibration, DNA, forensic, likelihood ratio, paradigm shift, speaker classification
14	Rosario Giuseppe Garroppo, Stefano Giordano, Stefano Lucetti, Luca Tavanti	A Model-based Admission Control for IEEE 802.11e Networks.	ICC	2007	DBLP DOI BibTeX RDF
14	Joon Ho Cho	Joint Transmitter and Receiver Optimization for Continuous-Time Overloaded Gaussian Multiple-Access Channels.	ICC	2007	DBLP DOI BibTeX RDF
14	Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson	A rule-sceptic characterization of acceptable legal arguments.	ICAIL	2007	DBLP DOI BibTeX RDF
14	Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari	On Defense Strength of Blocking Defeaters in Admissible Sets.	KSEM	2007	DBLP DOI BibTeX RDF
14	Walid Htira, Olivier Dugeon, Michel Diaz	A New Approximation Model for Guaranteed QoS Information Aggregation.	ISCC	2007	DBLP DOI BibTeX RDF
14	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
14	Guillaume Burel, Claude Kirchner	Cut Elimination in Deduction Modulo by Abstract Completion.	LFCS	2007	DBLP DOI BibTeX RDF	Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
14	S. Hasan Raza Naqvi, Lalit M. Patnaik	A Distributed Channel Access Protocol for Ad Hoc Networks with Feedback Power Control.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	media access protocol design and analysis, simulation, Wireless ad hoc networks, power control
14	Lihua Song, Richard W. Yeung, Ning Cai	A separation theorem for single-source network coding.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF