|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 71 occurrences of 64 keywords
|
|
|
Results
Found 58 publication records. Showing 58 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | K. Arvind |
Probabilistic Clock Synchronization in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(5), pp. 474-487, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management, Washington, DC, USA, November 8-13, 2004, pp. 399-405, 2004, ACM, 1-58113-874-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPOL ![In: Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead, 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings, pp. 205-212, 2006, Springer, 3-540-49667-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 47-55, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 277-289, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 692, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
30 | Yupu Hu, Siyue Dong, Baocang Wang, Xingting Dong |
On the Invalidity of LV16/Lin17 Obfuscation Schemes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1291, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
30 | |
On the Invalidity of Lin16/Lin17 Obfuscation Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1301, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 77(3), pp. 2326-2354, 2021. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.07759, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Yupu Hu, Jun Liu, Baocang Wang, Xingting Dong, Yanbin Pan |
P/poly Invalidity of the Agr17 Functional Encryption Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1442, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Wei Zhou 0026, Le Guan, Peng Liu 0005, Yuqing Zhang 0001 |
Automatic Firmware Emulation through Invalidity-guided Knowledge Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, pp. 2007-2024, 2021, USENIX Association, 978-1-939133-24-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 289(2), pp. 431-448, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Petros Kefalas, Ilias Sakellariou |
The Invalidity of Validating Emotional Multi-Agent Systems Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCI ![In: Proceedings of the 8th Balkan Conference in Informatics, BCI 2017, Skopje, Macedonia, September 20 - 23, 2017, pp. 8:1-8:8, 2017, ACM, 978-1-4503-5285-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Manisha Verma, Vasudeva Varma |
Applying key phrase extraction to aid invalidity search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, USA, pp. 249-255, 2011, ACM, 978-1-4503-0755-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Carlos A. Oller |
Teaching Sound Principles about Invalidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 178-182, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Xianjia Wang, Nan Xu, Binbin Huang |
Invalidity Analysis of Eco-compensation Projects Based on Two-Stage Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (2) ![In: Advances in Swarm Intelligence, First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II, pp. 492-498, 2010, Springer, 978-3-642-13497-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Tjark Weber |
Validating QBF Invalidity in HOL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 466-480, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaIR@CIKM ![In: Proceedings of the 2nd International Workshop on Patent Information Retrieval, PaIR '09, Hong Kong, SAR, China, November 6, 2009, pp. 29-32, 2009, ACM, 978-1-60558-809-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IKE ![In: Proceedings of the 2009 International Conference on Information & Knowledge Engineering, IKE 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes, pp. 384-389, 2009, CSREA Press, 1-60132-116-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
30 | Sumio Fujita |
Technology survey and invalidity search: A comparative study of different tasks for Japanese patent document retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 43(5), pp. 1154-1172, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Thomas L. Saaty, Liem T. Tran |
On the invalidity of fuzzifying numerical judgments in the Analytic Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 46(7-8), pp. 962-975, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 6th NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access, NTCIR-6, National Center of Sciences, Tokyo, Japan, May 15-18, 2007, 2007, National Institute of Informatics (NII). The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Kazuya Konishi |
Query Terms Extraction from Patent Document for Invalidity Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the Fifth NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access, NTCIR-5, National Center of Sciences, Tokyo, Japan, December 6-9, 2005, 2005, National Institute of Informatics (NII). The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Kazuya Konishi, Akira Kitauchi, Toru Takaki |
Invalidity Patent Search System of NTT DATA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the Fourth NTCIR Workshop on Research in Information Access Technologies Information Retrieval, Question Answering and Summarization, NTCIR-4, National Center of Sciences, Tokyo, Japan, June 2-4, 2004, 2004, National Institute of Informatics (NII), 4-86049-030-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
30 | Jon Cogburn |
Manifest Invalidity: Neil Tennant's New Argument for Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 134(3), pp. 353-362, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | John Corcoran, Susan Wood |
Boole's criteria for validity and invalidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 21(4), pp. 609-638, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Bonitz |
Evidence for the invalidity of the Bradford law for the single scientist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 2(3), pp. 203-214, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
28 | Hidetsugu Nanba, Natsumi Anzen, Manabu Okumura |
Automatic extraction of citation information in Japanese patent applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 9(2), pp. 151-161, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Sixth International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV 2009, 11-14 August 2009, Tianjin, China, pp. 11-17, 2009, IEEE Computer Society, 978-0-7695-3789-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Bo Zhang 0020, Qiuliang Xu |
A Strong Designated-verifier Proxy Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 569-572, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Atsushi Koide, Raylin Tso, Eiji Okamoto |
Convertible Undeniable Partially Blind Signature from Bilinear Pairings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 77-82, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings, pp. 46-54, 2007, Springer, 978-3-540-73622-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
block cleaning, model, validation, Flash memory |
18 | Libor Behounek, Petr Cintula |
Features of Mathematical Theories in Formal Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 523-532, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB-ODBIS ![In: Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers, pp. 21-42, 2007, Springer, 978-3-540-70959-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh |
Performance Characteristics of Flash Memory: Model and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 162-173, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pairing ![In: Pairing-Based Cryptography - Pairing 2007, First International Conference, Tokyo, Japan, July 2-4, 2007, Proceedings, pp. 367-391, 2007, Springer, 978-3-540-73488-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 154-163, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers, pp. 16-29, 2007, Springer, 978-3-540-77534-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Security models, Proxy signatures, Undeniable signatures, Security proof, Convertible |
18 | Atsushi Fujii |
Enhancing patent retrieval by citation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 793-794, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
citation analysis, patent retrieval, NTCIR |
18 | Jorma K. Mattila |
On Models in Fuzzy Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 358-365, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier |
18 | Slawomir Staworko, Jan Chomicki |
Validity-Sensitive Querying of XML Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 164-177, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(2), pp. 190-206, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPSE ![In: 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal, pp. 135, 2005, IEEE Computer Society, 0-7695-2349-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Pnina Soffer, Yair Wand |
Goal-Driven Analysis of Process Model Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 521-535, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Atsushi Fujii, Makoto Iwayama, Noriko Kando |
The patent retrieval task in the fourth NTCIR workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 560-561, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 98-108, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Bo Chen, Mingtian Zhou |
Adapting Granular Rough Theory to Multi-agent Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 701-705, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings, pp. 338-351, 2003, Springer, 3-540-20176-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Paul E. Dunne, Peter McBurney |
Optimal utterances in dialogue protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 608-615, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(1), pp. 1-41, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 515-518, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gerald Lüttgen, Michael Mendler |
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 163-174, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | John K. Debenham |
Representing "Just Invalid" Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 84-95, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, expert systems |
18 | Markus Jakobsson, Kazue Sako, Russell Impagliazzo |
Designated Verifier Proofs and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '96, International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996, Proceeding, pp. 143-154, 1996, Springer, 3-540-61186-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Markus Jakobsson, Moti Yung |
Proving Without Knowing: On Oblivious, Agnostic and Blindolded Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '96, 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings, pp. 186-200, 1996, Springer, 3-540-61512-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan S. Ostroff |
Verification of Safety Critical Systems Using TTM/RTTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 573-602, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Verification, Timed Transition Systems, Real-time Temporal Logic |
18 | Laurent Fribourg |
A Narrowing Procedure for Theories with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings, pp. 259-281, 1984, Springer, 3-540-96022-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #58 of 58 (100 per page; Change: )
|
|