Search results for "invalidity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	K. Arvind	Probabilistic Clock Synchronization in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	distributedsystems, probability of invalidity, deterministicalgorithm, master-slave scheme, time transmission protocol, distributed processing, probability, synchronisation, clock synchronization, probabilistic algorithm, clock skew, synchronization messages
76	Toru Takaki, Atsushi Fujii, Tetsuya Ishikawa	Associative document retrieval by query subtopic analysis and its application to invalidity patent search.	CIKM	2004	DBLP DOI BibTeX RDF	associative document retrieval, invalidity patent search, query subtopic analysis, subtopics
46	Jungi Kim, In-Su Kang, Jong-Hyeok Lee	Cluster-Based Patent Retrieval Using International Patent Classification System.	ICCPOL	2006	DBLP DOI BibTeX RDF	invalidity search, inter-national patent classification, patent retrieval, cluster-based retrieval
46	Yuko Murayama	Configuration Detection as a Problem of Knowledge Discovery in Computer Networks.	CoopIS	1997	DBLP DOI BibTeX RDF	configuration detection, network object existence, network object location, network configuration knowledge maintenance, scale problem, management domain partitioning, network address authorisation, network-level threats, security technique, address resolution, data mining, knowledge discovery, computer networks, configuration management, routers, inconsistency, internetworking, dynamic learning, invalidity, hosts
36	Sumit Gulwani, Nebojsa Jojic	Program verification as probabilistic inference.	POPL	2007	DBLP DOI BibTeX RDF	automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs
30	Yupu Hu, Siyue Dong, Baocang Wang, Xingting Dong	On the Invalidity of LV16/Lin17 Obfuscation Schemes.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
30	Yupu Hu, Siyue Dong, Baocang Wang, Xingting Dong	On the Invalidity of LV16/Lin17 Obfuscation Schemes Revisited.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
30		On the Invalidity of Lin16/Lin17 Obfuscation Schemes.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
30	Golnaz Aghaee Ghazvini, Mehran Mohsenzadeh, Ramin Nasiri, Amir Masoud Rahmani	A new multi-level trust management framework (MLTM) for solving the invalidity and sparse problems of user feedback ratings in cloud environments.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
30	Wei Zhou 0026, Le Guan, Peng Liu 0005, Yuqing Zhang 0001	Automatic Firmware Emulation through Invalidity-guided Knowledge Inference (Extended Version).	CoRR	2021	DBLP BibTeX RDF
30	Yupu Hu, Jun Liu, Baocang Wang, Xingting Dong, Yanbin Pan	P/poly Invalidity of the Agr17 Functional Encryption Scheme.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
30	Wei Zhou 0026, Le Guan, Peng Liu 0005, Yuqing Zhang 0001	Automatic Firmware Emulation through Invalidity-guided Knowledge Inference.	USENIX Security Symposium	2021	DBLP BibTeX RDF
30	Gebhard Geiger	Conditional non-expected utility preferences induced by mixture of lotteries: a note on the normative invalidity of expected utility theory.	Ann. Oper. Res.	2020	DBLP DOI BibTeX RDF
30	Petros Kefalas, Ilias Sakellariou	The Invalidity of Validating Emotional Multi-Agent Systems Simulations.	BCI	2017	DBLP DOI BibTeX RDF
30	Manisha Verma, Vasudeva Varma	Applying key phrase extraction to aid invalidity search.	ICAIL	2011	DBLP DOI BibTeX RDF
30	Carlos A. Oller	Teaching Sound Principles about Invalidity.	TICTTL	2011	DBLP DOI BibTeX RDF
30	Xianjia Wang, Nan Xu, Binbin Huang	Invalidity Analysis of Eco-compensation Projects Based on Two-Stage Game.	ICSI (2)	2010	DBLP DOI BibTeX RDF
30	Tjark Weber	Validating QBF Invalidity in HOL4.	ITP	2010	DBLP DOI BibTeX RDF
30	Christopher G. Harris 0001, Steven Foster, Robert Arens, Padmini Srinivasan	On the role of classification in patent invalidity searches.	PaIR@CIKM	2009	DBLP DOI BibTeX RDF
30	Chuen-Min Huang, Sheng-Hsing Lu, Ching-Yang Wu	Identifying Chinese Patent Invalidity Based on an Automatic Constructed Thesaurus.	IKE	2009	DBLP BibTeX RDF
30	Sumio Fujita	Technology survey and invalidity search: A comparative study of different tasks for Japanese patent document retrieval.	Inf. Process. Manag.	2007	DBLP DOI BibTeX RDF
30	Thomas L. Saaty, Liem T. Tran	On the invalidity of fuzzifying numerical judgments in the Analytic Hierarchy Process.	Math. Comput. Model.	2007	DBLP DOI BibTeX RDF
30	Yuen-Hsien Tseng, Chen-Yang Tsai, Da-Wei Juang	Invalidity Search for USPTO Patent Documents Using Different Patent Surrogates.	NTCIR	2007	DBLP BibTeX RDF
30	Kazuya Konishi	Query Terms Extraction from Patent Document for Invalidity Search.	NTCIR	2005	DBLP BibTeX RDF
30	Kazuya Konishi, Akira Kitauchi, Toru Takaki	Invalidity Patent Search System of NTT DATA.	NTCIR	2004	DBLP BibTeX RDF
30	Jon Cogburn	Manifest Invalidity: Neil Tennant's New Argument for Intuitionism.	Synth.	2003	DBLP DOI BibTeX RDF
30	John Corcoran, Susan Wood	Boole's criteria for validity and invalidity.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
30	Manfred Bonitz	Evidence for the invalidity of the Bradford law for the single scientist.	Scientometrics	1980	DBLP DOI BibTeX RDF
28	Hidetsugu Nanba, Natsumi Anzen, Manabu Okumura	Automatic extraction of citation information in Japanese patent applications.	Int. J. Digit. Libr.	2008	DBLP DOI BibTeX RDF	Citation relationships, Invalidity search, Research paper, Information retrieval, patent, Scientometrics
18	Zhou Zeng, Lizhuang Ma, Zuoyong Zheng	BRDF Valid Sampling Based on Gradient Magnitude Synthetic Analysis.	CGIV	2009	DBLP DOI BibTeX RDF
18	Bo Zhang 0020, Qiuliang Xu	A Strong Designated-verifier Proxy Signature Scheme.	WKDD	2009	DBLP DOI BibTeX RDF
18	Atsushi Koide, Raylin Tso, Eiji Okamoto	Convertible Undeniable Partially Blind Signature from Bilinear Pairings.	EUC (2)	2008	DBLP DOI BibTeX RDF
18	Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Model and Validation of Block Cleaning Cost for Flash Memory.	SAMOS	2007	DBLP DOI BibTeX RDF	block cleaning, model, validation, Flash memory
18	Libor Behounek, Petr Cintula	Features of Mathematical Theories in Formal Fuzzy Logic.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
18	George Konstantinidis 0001, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides	On RDF/S Ontology Evolution.	SWDB-ODBIS	2007	DBLP DOI BibTeX RDF
18	Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Performance Characteristics of Flash Memory: Model and Implications.	ICESS	2007	DBLP DOI BibTeX RDF
18	Xinyi Huang 0001, Yi Mu 0001, Willy Susilo, Wei Wu 0001	Provably Secure Pairing-Based Convertible Undeniable Signature with Short Signature Length.	Pairing	2007	DBLP DOI BibTeX RDF	Provable Security, Bilinear Pairings, Undeniable Signatures, Short Signature, Convertible
18	Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Uniformity improving page allocation for flash memory file systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	performance evaluation, modeling, implementation, file system, flash memory, uniformity
18	Wei Wu 0001, Yi Mu 0001, Willy Susilo, Xinyi Huang 0001	Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction.	WISA	2007	DBLP DOI BibTeX RDF	Security models, Proxy signatures, Undeniable signatures, Security proof, Convertible
18	Atsushi Fujii	Enhancing patent retrieval by citation analysis.	SIGIR	2007	DBLP DOI BibTeX RDF	citation analysis, patent retrieval, NTCIR
18	Jorma K. Mattila	On Models in Fuzzy Propositional Logic.	KES (3)	2006	DBLP DOI BibTeX RDF	Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier
18	Slawomir Staworko, Jan Chomicki	Validity-Sensitive Querying of XML Databases.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
18	Hisao Mase, Tadataka Matsubayashi, Yuichi Ogawa, Makoto Iwayama, Tadaaki Oshio	Proposal of two-stage patent retrieval method considering the claim structure.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	claim structure, relevant score calculation, term weighting, term extraction, Patent retrieval
18	Meir M. Lehman	Approach to a Theory of Software Evolution.	IWPSE	2005	DBLP DOI BibTeX RDF
18	Pnina Soffer, Yair Wand	Goal-Driven Analysis of Process Model Validity.	CAiSE	2004	DBLP DOI BibTeX RDF
18	Atsushi Fujii, Makoto Iwayama, Noriko Kando	The patent retrieval task in the fourth NTCIR workshop.	SIGIR	2004	DBLP DOI BibTeX RDF	associative patent retrieval, patent maps, test collections, passage retrieval
18	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Validation of XML Document Updates Based on XML Schema in XML Databases.	DEXA	2003	DBLP DOI BibTeX RDF
18	Bo Chen, Mingtian Zhou	Adapting Granular Rough Theory to Multi-agent Context.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Granule Space, Information Cube, M-Information System, Granular Rough Theory
18	Hyejoung Yoo, Hyungwoo Lee, Sangjin Lee 0002, Jongin Lim 0001	Designated Verification of Non-invertible Watermark.	ISC	2003	DBLP DOI BibTeX RDF
18	Paul E. Dunne, Peter McBurney	Optimal utterances in dialogue protocols.	AAMAS	2003	DBLP DOI BibTeX RDF	argumentation and persuasion, dialogue protocols, locution selection, computational complexity, agent communication languages
18	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
18	Medhat Karam, Wael Fikry, Hisham Haddara, Hani F. Ragai	Implementation of hot-carrier reliability simulation in Eldo.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
18	Gerald Lüttgen, Michael Mendler	Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.	ICALP	2000	DBLP DOI BibTeX RDF
18	John K. Debenham	Representing "Just Invalid" Knowledge.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	knowledge representation, expert systems
18	Markus Jakobsson, Kazue Sako, Russell Impagliazzo	Designated Verifier Proofs and Their Applications.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
18	Markus Jakobsson, Moti Yung	Proving Without Knowing: On Oblivious, Agnostic and Blindolded Provers.	CRYPTO	1996	DBLP DOI BibTeX RDF
18	Jonathan S. Ostroff	Verification of Safety Critical Systems Using TTM/RTTL.	REX Workshop	1991	DBLP DOI BibTeX RDF	Verification, Timed Transition Systems, Real-time Temporal Logic
18	Laurent Fribourg	A Narrowing Procedure for Theories with Constructors.	CADE	1984	DBLP DOI BibTeX RDF