Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Luigi Sauro |
Formalizing admissibility criteria in coalition formation among goal-directed agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
18 | Walid Abu-Dayyeh, Kailash C. Madan |
The admissibility of the LRT for the exponential family model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 160(2), pp. 303-308, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hans Zwart |
Sufficient conditions for admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 54(10), pp. 973-979, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Gennady Veselovsky |
An Approach for Permutation Admissibility to a Binary Hypercube Under e-routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 1, pp. 98-104, 2005, CSREA Press, 1-932415-58-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 32(3), pp. 97-104, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 53(3-4), pp. 299-302, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Gennady Veselovsky, Phanthip Thaiyoo |
On BPC Permutations Admissibility to R-path Omega Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 3, pp. 1107-1113, 2004, CSREA Press. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Kevin A. Grasse |
Admissibility of Trajectories for Control Systems Related by Smooth Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 16(2-3), pp. 120-140, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 154(3-4), pp. 119-140, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Geir B. Asheim, Martin Dufwenberg |
Admissibility and common belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 42(2), pp. 208-234, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lixin Gao, Wenhai Chen, Youxian Sun |
On robust admissibility condition for descriptor systems with convex polytopic uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2003, Denver, CO, USA, June 4-6 2003., pp. 5083-5088, 2003, IEEE, 0-7803-7896-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Moor, Jörg Raisch, Jennifer M. Davoren |
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003, pp. 349-354, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Rosalie Iemhoff |
Towards a Proof System for Admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 255-270, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Schröder 0001 |
Extended admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 284(2), pp. 519-538, 2002. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 48(4), pp. 1000, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jeroen Donkers, Jos W. H. M. Uiterwijk, H. Jaap van den Herik |
Admissibility in Opponent-Model Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCIS ![In: Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA, pp. 450-453, 2002, JCIS / Association for Intelligent Machinery, Inc., 0-9707890-1-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002., pp. 1699-1704, 2002, IEEE, 0-7803-7298-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Roy Dyckhoff, Sara Negri |
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 9(4), pp. 541-548, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GAME-ON ![In: 2nd International Conference on Intelligent Games and Simulation (GAME-ON 2001), November 30 - December 1, 2001, London, UK, pp. 76-, 2001, ?. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | Tianjiao Chu, Richard Scheines, Peter Spirtes |
Semi-Instrumental Variables: A Test for Instrument Admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, University of Washington, Seattle, Washington, USA, August 2-5, 2001, pp. 83-90, 2001, Morgan Kaufmann, 1-55860-800-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | Roy Dyckhoff, Sara Negri |
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(4), pp. 1499-1518, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Martín Abadi |
top-top-closed relations and admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(3), pp. 313-320, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Dick Oehrle |
Context-Sensitive Node Admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 3(2/3), pp. 275-293, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 31(4), pp. 791-820, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Ferenc Darvas, György Dormán, Ákos Papp |
Diversity Measures for Enhancing ADME Admissibility of Combinatorial Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 40(2), pp. 314-322, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Subir K. Biswas, Bhaskar Sengupta |
Call admissibility for multirate traffic in wireless ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. High Speed Networks ![In: J. High Speed Networks 9(2), pp. 89-99, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Junshan Zhang, Edwin K. P. Chong |
CDMA systems in fading channels: Admissibility, network capacity, and power control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 46(3), pp. 962-981, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Michael Jung 0001 |
Admissibility of Control Operators for Solution Families to Volterra Integral Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 38(5), pp. 1323-1333, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Marcus Kracht |
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 40(4), pp. 578-587, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Amanda J. Kearsley |
Legal admissibility of evidence held in digital form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 15(3), pp. 185-187, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Henri Farreny |
Completeness and Admissibility for General Heuristic Search Algorithms-A Theoretical Study: Basic Concepts and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 5(3), pp. 353-376, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Zhenmin Chen, John W. Van Ness |
Characterizations Of Nearest And Farthest Neighbor Algorithms By Clustering Admissibility Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 31(10), pp. 1573-1578, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Assafa Endeshaw |
Admissibility of evidence and jurisdiction relating to online fraud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 14(1), pp. 29-33, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 5th International Conference On High Performance Computing, HiPC 1998, Madras, India, 20-20 December, 1998, pp. 270-276, 1998, IEEE Computer Society, 0-8186-9194-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Gerd Kamp |
On the Admissibility of Concrete Domains for CBR Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, Second International Conference, ICCBR-97, Providence, Rhode Island, USA, July 25-27, 1997, Proceedings, pp. 223-234, 1997, Springer, 3-540-63233-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Subir K. Biswas, Bhaskar Sengupta |
Call Admissibility for Multirate Traffic in Wireless ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997, pp. 649-657, 1997, IEEE Computer Society, 0-8186-7780-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Henri Farreny |
New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, pp. 241-254, 1997, Springer, 3-540-63586-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Axel Doering, Miroslaw Galicki, Herbert Witte |
Admissibility and Optimality of the Cascade-Correlation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN '97, 7th International Conference, Lausanne, Switzerland, October 8-10, 1997, Proceedings, pp. 505-510, 1997, Springer, 3-540-63631-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Norbert Gaffke, Berthold Heiligers |
30 Approximate designs for polynomial regression: Invariance, admissibility, and optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and analysis of experiments ![In: Design and analysis of experiments., pp. 1149-1199, 1996, North-Holland, 978-0-444-82061-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Akira Hirabayashi, Hidemitsu Ogawa |
Admissibility of memorization learning with respect to projection learning in the presence of noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNN ![In: Proceedings of International Conference on Neural Networks (ICNN'96), Washington, DC, USA, June 3-6, 1996, pp. 335-340, 1996, IEEE. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Henri Farreny |
Algorithms sigma for L-standard State Graphs: Results About Termination and Admissibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996, Proceedings, pp. 41-50, 1996, Springer, 3-540-61859-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Xiaojun Shen, Mao Xu, Xiangzu Wang |
An Optimal Algorithm for Permutation Admissibility to Multistage Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(4), pp. 604-608, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Vladimir V. Rybakov |
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 53(2), pp. 203-226, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Edwin D. Mares, Robert K. Meyer |
The Admissibility of γ in R4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 33(2), pp. 197-206, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | A. P. Whittick |
Admissibility of documents on optical disc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 5(5), pp. 24-25, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Chris Reed 0002 |
The admissibility and authentication of computer evidence - a confusion of issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 6(2), pp. 13-16, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Vladimir V. Rybakov |
Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 50(1), pp. 71-106, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Eric L. Grinberg |
The admissibility theorem for the hyperplane transform over a finite field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 53(2), pp. 316-320, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1990 IEEE International Conference on Robotics and Automation, Cincinnati, Ohio, USA, May 13-18, 1990, pp. 1646-1652, 1990, IEEE, 0-8186-9061-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Zhi Ding 0001, C. Richard Johnson Jr., Rodney A. Kennedy |
On the admissibility of blind adaptive equalizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1990 International Conference on Acoustics, Speech, and Signal Processing, ICASSP '90, Albuquerque, New Mexico, USA, April 3-6, 1990, pp. 1707-1710, 1990, IEEE. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | József Dénes, A. Donald Keedwell |
A New Conjecture Concerning Admissibility of Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 10(2), pp. 171-174, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Andrzej Biela |
Program-Substitution and Admissibility of Rules in Algorithmic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 25(4), pp. 439-473, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Robert S. Lubarsky |
Admissibility spectra and minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 40(3), pp. 257-276, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | H. Isil Bozma, James S. Duncan |
Admissibility Of Constraint Functions In Relaxation Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Second International Conference on Computer Vision, ICCV 1988. Tampa, Florida, USA, 5-8 December, 1988, Proceedings, pp. 328-332, 1988, IEEE, 0-8186-0883-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | P. P. Chakrabarti 0001, Sujoy Ghose, S. C. De Sarkar |
Admissibility of A0* when Heuristics Overestimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 34(1), pp. 97-113, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Roger King, Carolyn Stanley |
Ensuring the Court Admissibility of Computer-Generated Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 3(4), pp. 398-412, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla |
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFAIS ![In: Information Systems - Theoretical and Formal Aspects, TFAIS 1985, Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985., pp. 145-157, 1985, Elsevier/North-Holland, 0-444-87706-1. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
18 | Charles T. Meadow |
Admissibility of delegates - author's reply. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 35(2), pp. 135, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Charles H. Davis |
Admissibility of delegates to international meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 35(1), pp. 56, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Jäger |
The Strength of Admissibility Without Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 49(3), pp. 867-879, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Charles T. Meadow |
Admissibility of delegates to international meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 34(4), pp. 300, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | C. T. Chong |
Global and local admissibility: II. Major subsets and automorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 24(2), pp. 99-111, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Michael A. McRobbie, Robert K. Meyer |
A Note on the Admissibility of Cut in Relevant Tableau Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 25(32), pp. 511-512, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
18 | Brian R. Gaines, Ian H. Witten |
Stability and Admissibility of Adaptive Threshold Logic Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(1), pp. 88-91, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Gregory M. Dotseth |
Admissibility Results on Subspaces of C(R, R^n) and LL^p(R, R^n). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 9(1), pp. 9-17, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
18 | H. E. Gollwitzer |
Admissibility and Integra Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 7(3), pp. 219-231, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
18 | Thomas M. Cover |
Admissibility properties or Gilbert's encoding for unknown source probabilities (Corresp.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 18(1), pp. 216-217, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Shigeru Igarashi |
Admissibility of fixed-point induction in first- order logic of typed theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Sympoisum on Theoretical Programming ![In: International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings, pp. 344-383, 1972, Springer, 3-540-06720-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 15(7), pp. 875-886, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Proceedings of the 2009 International Conference on Hybrid Information Technology, ICHIT 2009, Daejeon, Korea, August 27-29, 2009, pp. 239-243, 2009, ACM, 978-1-60558-662-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCF ![In: Computational Forensics, Third International Workshop, IWCF 2009, The Hague, The Netherlands, August 13-14, 2009. Proceedings, pp. 137-149, 2009, Springer, 978-3-642-03520-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Hidenori Kurokawa |
Tableaux and Hypersequents for Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 295-308, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Hichem Ayed Harhira, Samuel Pierre |
Dynamic admission control and path allocation for SLAs in DiffServ networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 132-136, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings, pp. 264-273, 2009, Springer, 978-3-642-10290-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 56(2), pp. 289-298, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Henry Prakken |
A formal model of adjudication dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(3), pp. 305-328, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Legal argument, Legal procedure, Adjudication, Dialogue games |
14 | Kaustuv Chaudhuri |
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 467-481, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Akihiro Inokuchi, Takashi Washio |
A Fast Method to Mine Frequent Subsequences from Graph Sequence Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), December 15-19, 2008, Pisa, Italy, pp. 303-312, 2008, IEEE Computer Society, 978-0-7695-3502-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Berghofer, Christian Urban |
Nominal Inversion Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 71-85, 2008, Springer, 978-3-540-71065-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Bilal Sari, Olivier Bachelier, Driss Mehdi |
An S-regularity approach to the robust analysis of descriptor models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4813-4818, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Rodney McKemmish |
When is Digital Evidence Forensically Sound? (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Int. Conf. Digital Forensics ![In: Advances in Digital Forensics IV, Fourth Annual IFIP WG 11.9 Conference on Digital Forensics, Kyoto University, Kyoto, Japan, January 28-30, 2008, pp. 3-15, 2008, Springer, 978-0-387-84926-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
forensically sound evidence, Digital evidence |
14 | Andrew Gacek |
The Abella Interactive Theorem Prover (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 154-161, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Bastian Katz, Markus Völker, Dorothea Wagner |
Link Scheduling in Local Interference Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOSENSORS ![In: Algorithmic Aspects of Wireless Sensor Networks, Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers, pp. 57-71, 2008, Springer, 978-3-540-92861-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI Workshops ![In: Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings, pp. 278-287, 2008, Springer, 978-3-540-69136-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 38-52, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 2(3-1), pp. 391-401, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(2), pp. 179-205, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings, pp. 917-926, 2007, Springer, 978-3-540-74548-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, pp. 246-261, 2007, Springer, 978-3-540-74590-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Joaquin Gonzalez-Rodriguez, Daniel Ramos 0001 |
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speaker Classification (1) ![In: Speaker Classification I: Fundamentals, Features, and Methods, pp. 205-217, 2007, Springer, 978-3-540-74186-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 398-402, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Joon Ho Cho |
Joint Transmitter and Receiver Optimization for Continuous-Time Overloaded Gaussian Multiple-Access Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 845-850, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson |
A rule-sceptic characterization of acceptable legal arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 283-284, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 140-152, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Walid Htira, Olivier Dugeon, Michel Diaz |
A New Approximation Model for Guaranteed QoS Information Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), July 1-4, Aveiro, Portugal, pp. 927-934, 2007, IEEE Computer Society, 978-1-4244-1520-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir V. Rybakov |
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 486-497, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 115-131, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(10), pp. 1448-1459, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(5), pp. 1861-1871, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|