Search results for "meet"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation	The Jónsson-Kiefer Property.	Stud Logica	2006	DBLP DOI BibTeX RDF	Meet semi-distributive lattice, pseudo-complemented lattice, meet-prime element, join semi-distributive lattice, join-prime element
50	Jiali Choy, Khoongming Khoo, Chuan-Wen Loe	Applying Time-Memory-Data Trade-Off to Meet-in-the-Middle Attack.	ICICS	2008	DBLP DOI BibTeX RDF	time-memory-data trade-off, block cipher, meet-in-the-middle, triple DES
48	Ying Jiang, Guo-Qiang Zhang 0001	Weakly distributive domains (II).	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
43	Yu Sasaki, Kazumaro Aoki	Meet-in-the-Middle Preimage Attacks on Double-Branch Hash Functions: Application to RIPEMD and Others.	ACISP	2009	DBLP DOI BibTeX RDF	RIPEMD, double branch, preimage, meet-in-the-middle
43	Paul C. van Oorschot, Michael J. Wiener	Improving Implementable Meet-in-the-Middle Attacks by Orders of Magnitude.	CRYPTO	1996	DBLP DOI BibTeX RDF	parallel collision search, low Hamming weight exponents, cryptanalysis, DES, Meet-in-the-middle attack
41	Christian Lebiere, Robert E. Wray	Motivating the 2006 AAAI Spring Symposium: Cognitive Science Principles Meet AI-Hard Problems.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
39	Kazumaro Aoki, Yu Sasaki	Meet-in-the-Middle Preimage Attacks Against Reduced SHA-0 and SHA-1.	CRYPTO	2009	DBLP DOI BibTeX RDF	SHA-1, preimage, one-way, meet-in-the-middle, SHA-0
39	Marcel Erné	Intervals in Lattices of alpha-Meet-Closed Subsets.	Order	2004	DBLP DOI BibTeX RDF	(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible
39	Kazuo Ohta, Kenji Koyama	Meet-in-the-Middle Attack on Digital Signature Schemes.	AUSCRYPT	1990	DBLP DOI BibTeX RDF	Authentication, Digital signature, Hash function, One-way function, Meet-in-the-middle attack
36	Yu Sasaki	Meet-in-the-Middle Attacks Using Output Truncation in 3-Pass HAVAL.	ISC	2009	DBLP DOI BibTeX RDF	wide pipe, pseudo-preimage, hash, preimage, truncate, meet-in-the-middle, HAVAL
36	Hüseyin Demirci, Ihsan Taskin, Mustafa Çoban, Adnan Baysal	Improved Meet-in-the-Middle Attacks on AES.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	cryptanalysis, AES, Rijndael, meet-in-the-middle attack
36	Hüseyin Demirci, Ali Aydin Selçuk	A Meet-in-the-Middle Attack on 8-Round AES.	FSE	2008	DBLP DOI BibTeX RDF	meet-in-the-middle cryptanalysis, square attack, AES, Rijndael
36	Paavo Kukkurainen	Fuzzy Subgroups with Meet Operation in the Connection of Möbius Transformations.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Fixed points and multipliers of Möbius transformations, conjugation, fuzzy subgroups, meet operation, stabilizers
36	Markku-Juhani Olavi Saarinen	A Meet-in-the-Middle Collision Attack Against the New FORK-256.	INDOCRYPT	2007	DBLP DOI BibTeX RDF	FORK-256, Hash Function Cryptanalysis, Meet-in-the-middle Attack
33	Gang Tu, Wan-hua Cao, Fumin Yang	Scheduling Algorithms for Meet Row Constraint.	RTCSA	2005	DBLP DOI BibTeX RDF
32	André Thayse	Meet and Join Derivatives and Their Use in Switching Theory.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	prime implicants and prime implicates, extended vectors, meet and join derivatives, Boolean functions, consensus theory
31	Xia Wang, Jianmin Ma	A Novel Approach to Attribute Reduction in Concept Lattices.	RSKT	2006	DBLP DOI BibTeX RDF	partial relation, meet-irreducible element, Concept lattice, attribute reduction
31	Richard Booth 0001, Eva Richter	On Revising Fuzzy Belief Bases.	Stud Logica	2005	DBLP DOI BibTeX RDF	base revision, partial meet, fuzzy logic, Belief revision
31	William Aiello, Mihir Bellare, Giovanni Di Crescenzo, Ramarathnam Venkatesan	Security Amplification by Composition: The Case of Doubly-Iterated, Ideal Ciphers.	CRYPTO	1998	DBLP DOI BibTeX RDF	cascaded ciphers, Shannon model, Double DES, information theory, DES, Ciphers, meet in the middle attacks
29	Hal Daumé III, Kevin Duh, Samir Khuller	Discrete Algorithms Meet Machine Learning (NII Shonan Meeting 2013-6).	NII Shonan Meet. Rep.	2013	DBLP BibTeX RDF
29		Intelligent Web Services Meet Social Computing, Papers from the 2012 AAAI Spring Symposium, Palo Alto, California, USA, March 26-28, 2012	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden	Component Trust for Web Service Compositions.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	José Ignacio Fernández-Villamor, Tilo Zemke, Carlos Angel Iglesias, Mercedes Garijo	A Semantic Metadirectory of Services Based on Web Mining Techniques.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Shizhan Chen, Yuanbin Han, Zhiyong Feng 0002	Social Network Analysis on the Interaction and Collaboration Behavior among Web Services.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	James Scicluna 0001, Christoph Blank, Nathalie Steinmetz, Elena Simperl	Crowd Sourcing Web Service Annotations.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Luis Antonio Rojas Potosí, Luis Javier Suarez Meza, Leandro Ordoñez-Ante, Juan Carlos Corrales	Web Resources Recommendation based on Dynamic Prediction of User Consumption on the Social Web.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Yuanbin Han, Shizhan Chen, Zhiyong Feng 0002	Optimizing Service Composition Network from Social Network Analysis and User Historical Composite Services.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Benjamin Heitmann, Maciej Dabrowski, Alexandre Passant, Conor Hayes, Keith Griffin	Personalisation of Social Web Services in the Enterprise Using Spreading Activation for Multi-Source, Cross-Domain Recommendations.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Edoardo Pignotti, Peter Edwards	Using Web Services and Policies within a Social Platform to Support Collaborative Research.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Knarig Arabshian, Peter J. Danielsen, Sadia Afroz 0001	LexOnt: A Semi-Automatic Ontology Creation Tool for Programmable Web.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Carlos Pedrinaci, Dong Liu 0015, Chenghua Lin, John Domingue	Harnessing the Crowds for Automating the Identification of Web APIs.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Noura Faci, Zakaria Maamar, Parisa Ghodous	Which Social Networks Should Web Services Sign-Up In?	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Karthik Gomadam, Peter Z. Yeh, Kunal Verma	Data Enrichment Using Data Sources on the Web.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi	Priorities-Based Review Computation.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Tomas Vitvar, Harith Alani, David L. Martin 0001	Preface.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29	Ruben Verborgh, Thomas Steiner, Joaquim Gabarró, Erik Mannens, Rik Van de Walle	A Social Description Revolution - Describing Web APIs' Social Parameters with RESTdesc.	AAAI Spring Symposium: Intelligent Web Services Meet Social Computing	2012	DBLP BibTeX RDF
29		Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-02, Stanford, California, USA, March 27-29, 2006	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Christian Lebiere, Robert E. Wray	Organizing Committee.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	B. Chandrasekaran 0001	Multi-Modal Cognitive States: Augmenting the State in Cognitive Architectures.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Troy D. Kelley	Simulating Intelligent Behavior Requires a Complex Approach.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Carlos Diuk, Michael L. Littman	A Change Detection Model for Non-Stationary k-Armed Bandit Problems.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Nicholas Cassimatis	Artificial Intelligence and Cognitive Science Have the Same Problem.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Leona F. Fass	Neither Here nor There: Inference Research Bridges the Gaps between Cognitive Science and AI.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Susan L. Epstein	In Support of Pragmatic Computation.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Henry Brighton	Robust Inference with Simple Cognitive Models.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Russell R. Vane III, Douglas Griffith	Cognitive Automation Solves Many AI-Hard Problems.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Helmar Gust, Kai-Uwe Kühnberger	The Relevance of Artificial Intelligence for Human Cognition.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Sidney K. D'Mello, Stan Franklin, Uma Ramamurthy, Bernard J. Baars	A Cognitive Science Based Machine Learning Architecture.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Jerry T. Ball	Can NLP Systems be a Cognitive Black Box? (Is Cognitive Science Relevant to AI Problems?).	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Bradley J. Best	Cognitive Approaches to the Traveling Salesperson Problem: Perceptual Complexity that Produces Computational Simplicity.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Sashank Varma, Marcel Adam Just	4CAPS: An Adaptive Architecture for Human Information Processing.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Jacob Beal, Gerald J. Sussman	CogSci to AI: It's the Brainware, Stupid!	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Selmer Bringsjord, Micah Clark	For Problems Sufficiently Hard ... AI Needs CogSci.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Moshe Looks, Ben Goertzel	Mixing Cognitive Science Concepts with Computer Science Algorithms and Data Structures: An Integrative Approach to Strong AI.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	William F. Lawless, Laurent Chaudron, C. P. Abubucker, C. R. Howard, Nicole N. Kriegel	AI, Cognitive, and Quantum Models of Organizations: A Progress Report.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Boris A. Galitsky, Igor Spitsberg	How One Can Learn Programming while Teaching Reasoning to Children with Autism.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Pei Wang	Artificial Intelligence: What It Is, and What It Should Be.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Paul Bello	New Challenges for AI in Military Simulation: Are Multilevel Heterogeneous Models the Solution?	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
29	Carlos Martín-Vide, Victor Mitrana (eds.)	Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Tero Harju, Lucian Ilie	Forbidden subsequences and permutations sortable on two parallel stacks.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Henning Fernau, Werner Kuich	Regularly controlled formal power series.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Jürgen Dassow	Subregularly controlled derivations: restrictions by syntactic parameters.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Adrian Atanasiu	Trellis languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Ray Dassen, Hendrik Jan Hoogeboom, Nike van Vugt	A characterization of non-iterated splicing with regular rules.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Frank Drewes, Hans-Jörg Kreowski	Reading words in graphs generated by hyperedge replacement.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Cristian S. Calude, Elena Calude, Karl Svozil	Computational complementarity for probabilistic automata.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Erzsébet Csuhaj-Varjú	On size complexity of context-free returning parallel communicating grammar systems.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Christian Choffrut, Juhani Karhumäki	On Fatou properties of rational languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Claudio Zandron, Giancarlo Mauri, Claudio Ferretti, Paola Bonizzoni	Splicing systems using merge and separate operations.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Jose Rodrigo, Juan Castellanos, Fernando Arroyo, Luis Fernando de Mingo López	Is evolutionary computation using DNA strands feasible?	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Andrzej Ehrenfeucht, Ion Petre, David M. Prescott, Grzegorz Rozenberg	Universal and simple operations for gene assembly in ciliates.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Gabriel Ciobanu	Molecular structures.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Lech Polkowski, Andrzej Skowron	Towards grammars of decision algorithms.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Symeon Bozapalidis	Transduction in polypodes.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Maurice Margenstern, Yurii Rogozhin	Time-varying distributd H-systems of degree 2 generate all recursively enumerable languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Jozef Kelemen, Alica Kelemenová, Victor Mitrana	Neo-modularity and colonies.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Kamala Krithivasan, Arvind Arasu	Simplified simple H systems.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Gabriel Thierrin	Insertion of languages and differential semirings.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Rodica Ceterchi	Some algebraic properties of contexts and their applications to contextual languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Tom Head	Writing by methylation proposed for aqueous computing.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Vincenzo Manca	On some forms of splicing.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Satoshi Kobayashi, Yasubumi Sakakibara, Takashi Yokomori	Approximate identification of finite elasticity.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Elizabeth Goode, Dennis Pixton	Semi-simple splicing systems.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Paolo Bottoni	Pictures, layers, double stranded molecules: on multi-dimenional sentences.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Sheng Yu 0001	The time dimension of computation models.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Gemma Bel Enguix	Some ghosts that arise in a spliced linguistic string: evidence from catalan.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Peter R. J. Asveld	An infinite sequence of full AFL-structures, each of which possesses an infinite hierarchy.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis	Counter machines and the safety and disjointness problems for database queries with linear constraints.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Frantisek Mráz, Martin Plátek, Martin Procházka	On special forms of restarting automata.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Andrei Paun, Mihaela Paun	On membrane computing based on splicing.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Jarkko Kari, Lila Kari	Context-free recombinations.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Carlos Martín-Vide, Alexandru Mateescu, Arto Salomaa	Sewing contexts and mildly context-sensitive languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Rudolf Freund, Ludwig Staiger	Acceptance of omega-languages by communicating deterministic turing maching.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Martin Kutrib	Automata arrays and context-free languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Tudor Balanescu, Marian Gheorghe 0001, Mike Holcombe	Deterministic stream X-machines based on grammar systems.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Pál Dömösi, Masami Ito	Multiple keyword patterns in context-free languages.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
29	Solomon Marcus	The games of his life.	Where Mathematics, Computer Science, Linguistics and Biology Meet	2001	DBLP BibTeX RDF
28	Ying Jiang, Guo-Qiang Zhang 0001	Weakly Distributive Domains.	TLCA	2007	DBLP DOI BibTeX RDF
27	Meet Kumari	Wheel architecture based ITU-T G.9804.x standard 50G-NGPON2 incorporating 2D-MFRS OCDMA code for beyond 5G networks.	J. Ambient Intell. Humaniz. Comput.	2024	DBLP DOI BibTeX RDF
27	Hiren Galiyawala, Mehul S. Raval, Meet Patel	Person retrieval in surveillance videos using attribute recognition.	J. Ambient Intell. Humaniz. Comput.	2024	DBLP DOI BibTeX RDF