Search results for "net-meeting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Jin Ok Kim, Kyong Sok Seo, Chin Hyun Chung, Jun Hwang, Woongjae Lee	On Facial Expression Recognition Using the Virtual Image Masking for a Security System.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
34	Kyong Sok Seo, Jin Ok Kim, Chin Hyun Chung	On Extracting Facial Expressions for the Virtual Image Masking.	ICADL	2003	DBLP DOI BibTeX RDF
33	Shu-Chin Wang, Kuo-Qin Yan, Mao-Lun Chiang	Reach Reliable Decision by Using Secret Agreement Method.	ICPADS	2002	DBLP DOI BibTeX RDF	Net-Meeting, Security, Distributed System, Decision Making, Byzantine Agreement
24	Kuo-Qin Yan, Shu-Ching Wang, Mao-Lun Chiang	New application of reliable agreement: underlying an unsecured business environment.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	net-meeting, security, CSCW, consensus, group communication, collaborative work, byzantine agreement
18	Gérard Comyn, Matthias Jarke, Suryanarayana M. Sripada (eds.)	CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992	CNKBS	1992	DBLP BibTeX RDF
18	Suryanarayana M. Sripada	Temporal deductive databases.	CNKBS	1992	DBLP BibTeX RDF
18	Magnus Boman, Paul Johanesson	A note on the limitations of utilizing logic for federated information systems.	CNKBS	1992	DBLP BibTeX RDF
18	Jørgen Fischer Nilsson	Concept object algebra for knowledge bases.	CNKBS	1992	DBLP BibTeX RDF
18	Michael Ley, Bernd Walter	LILOG-DB: Some implementation techniques.	CNKBS	1992	DBLP BibTeX RDF
18	Thomas Eiter, Georg Gottlob	Complexity of Propositional Knowledge Base Revision.	CNKBS	1992	DBLP BibTeX RDF
18	Robert Demolombe	A strategy for the computation of conditional answers.	CNKBS	1992	DBLP BibTeX RDF
18	Dolors Costal	A method for reasoning about deductive conceptual models of information systems.	CNKBS	1992	DBLP BibTeX RDF
18	Burkhard Freitag	Bottom-up evaluation of embedded implications.	CNKBS	1992	DBLP BibTeX RDF
18	Rainer Haidan	Conceptual Modelling in a Logic Based Framework.	CNKBS	1992	DBLP BibTeX RDF
18	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	A constructive logic approach to database theory.	CNKBS	1992	DBLP BibTeX RDF
18	Michael Freeston	First find your clause.	CNKBS	1992	DBLP BibTeX RDF
18	Rainer Manthey	Update-driven Inference in Deductive Databases.	CNKBS	1992	DBLP BibTeX RDF
18	Georg Lausen, Heinz Uphoff	Inheritance and rules.	CNKBS	1992	DBLP BibTeX RDF
18	Foto N. Afrati	The parallel complexity of single rule logic programs.	CNKBS	1992	DBLP BibTeX RDF
18	Giuseppe De Giacomo	Intensional query answering by partial evaluation.	CNKBS	1992	DBLP BibTeX RDF
18	Danny De Schreye, Bern Martens	A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation.	CNKBS	1992	DBLP BibTeX RDF
18	Elisa Bertino, Maurizio Martelli, Danilo Montesi	CLP (X) as a framework for action and deduction.	CNKBS	1992	DBLP BibTeX RDF
18	Eric Wegrzynowski, Jean-Paul Delahaye	The grand loop semantics for logic programs.	CNKBS	1992	DBLP BibTeX RDF
18	Fausto Giunchiglia, Luciano Serafini	Multilanguage hierarchical logics (or: how we can do without modal logics).	CNKBS	1992	DBLP BibTeX RDF
18	Manfred A. Jeusfeld, Martin Staudt 0001	Query classes.	CNKBS	1992	DBLP BibTeX RDF
18	Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello	Normal logic programs as open positive programs.	CNKBS	1992	DBLP BibTeX RDF
18	Hendrik Decker	Foundations of first-order databases.	CNKBS	1992	DBLP BibTeX RDF