The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PHI with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1989 (15) 1990-1994 (17) 1995-1997 (19) 1998-2000 (15) 2001-2002 (26) 2003 (25) 2004-2005 (26) 2006 (28) 2007 (24) 2008 (27) 2009 (29) 2010 (22) 2011 (16) 2012 (20) 2013 (66) 2014 (72) 2015 (101) 2016 (84) 2017 (102) 2018 (80) 2019 (74) 2020 (69) 2021 (79) 2022 (93) 2023 (91) 2024 (17)
Publication types (Num. hits)
article(540) book(2) incollection(6) inproceedings(682) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 235 occurrences of 202 keywords

Results
Found 1342 publication records. Showing 1237 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
134Shai Rubin, Somesh Jha, Barton P. Miller On the Completeness of Attack Mutation Algorithms. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
121Yunli Wang, Hongyu Liu, Liqiang Geng, Matthew S. Keays, Yonghua You Automatic Detecting Documents Containing Personal Health Information. Search on Bibsonomy AIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
121Raffaele Mascella, Luca G. Tallini, Sulaiman Al-Bassam, Bella Bose On efficient balanced codes over the mth roots of unity. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
94Scott D. Stoller Detecting Global Predicates in Distributed Systems with Clocks. Search on Bibsonomy Distributed Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
81Vikram Parmar, David V. Keyson, Cees deBont Persuasive Technology for Shaping Social Beliefs of Rural Women in India: An Approach Based on the Theory of Planned Behaviour. Search on Bibsonomy PERSUASIVE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
81Tian Tian 0004, Wen-Feng Qi 0001 Injectivity of Compressing Maps on Primitive Sequences Over BBZ/(pe). Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
81Nam-Po Chiang The chaotic numbers of the bipartite and tripartite graphs. Search on Bibsonomy ISCAS (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
81Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004 (2+ f(n))-SAT and Its Properties. Search on Bibsonomy COCOON The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
81Venkatavasu Bokka, Koji Nakano, Stephan Olariu, James L. Schwing, Larry Wilson Optimal Algorithms for the Multiple Query Problem on Reconfigurable Meshes, with Applications. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF pattern recognition, parallel algorithms, image processing, robotics, Query processing, computational geometry, database design, morphology, reconfigurable mesh
71John C. Mitchell, Mark Mitchell, Ulrich Stern Automated analysis of cryptographic protocols using Mur-phi. Search on Bibsonomy S&P The full citation details ... 1997 DBLP  DOI  BibTeX  RDF cryptographic protocol analysis, Mur/spl phi/, general-purpose state enumeration tool, security-related protocols, faulty TMN protocol, replay attack detection, cryptography, methodology, errors, client server system, network operating system, computation time, Kerberos
67Jan Mielniczuk, Piotr Wojdyllo Decorrelation of Wavelet Coefficients for Long-Range Dependent Processes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Michael J. Wooldridge Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. Search on Bibsonomy KI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Hongtu Ma, Rongcai Zhao, Ling Liang, Xun Li A Multi-variable Algorithm for Placing Phi-nodes. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
56Weihaw Chuang, Brad Calder, Jeanne Ferrante Phi-Predication for Light-Weight If-Conversion. Search on Bibsonomy CGO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56James H. Anderson, Yong-Jik Kim Local-spin Mutual Exclusion Using Fetch-and-\phi Primitives. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Xiaodong Liu 0001, Witold Pedrycz, Tianyou Chai, Mingli Song The Development of Fuzzy Rough Sets with the Use of Structures and Algebras of Axiomatic Fuzzy Sets. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
54Christian Bettstetter, Günther Brandner, Robert Vilzmann On colliding first messages in slotted ALOHA. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Denis S. Krotov On Z2k-Dual Binary Codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Hiroki Koga, Hirosuke Yamamoto Asymptotic properties on codeword lengths of an optimal FV code for general sources. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
54Igor Vajda, Edward C. van der Meulen On minimum divergence adaptation of discrete bivariate distributions to given marginals. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
54Ajay D. Kshemkalyani A Fine-Grained Modality Classification for Global Predicates. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF distributed system, synchronization, causality, Predicates, distributed execution, global state
54Tsunenori Ishioka Evaluation of Criteria for Information Retrieval. Search on Bibsonomy Web Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Michael J. Wooldridge, Wiebe van der Hoek Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. Search on Bibsonomy COORDINATION The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Syed Sibte Raza Abidi, Yong Han Chong, Samina Raza Abidi An Intelligent Info-Structure for Composing and Pushing Personalised Healthcare Information over the Internet. Search on Bibsonomy CBMS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
54Glenn Bruns, Patrice Godefroid Generalized Model Checking: Reasoning about Partial State Spaces. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam Translating Out of Static Single Assignment Form. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
54Roderic Guigó, Temple F. Smith Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF correlation inference, annotation query, protein sequence pattern analysis, stochastic dependence measurement, set similarity measure, protein sequence database, first-order language, query space, set algebra, query processing, query language, database theory, set theory, algebra, biology computing, proteins, database queries, correlation coefficient, asymptotic approximation
48Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Romain Privat, Jean-Noël Jaubert, Yannick Privat A simple and unified algorithm to solve fluid phase equilibria using either the gamma-phi or the phi-phi approach for binary and ternary mixtures. Search on Bibsonomy Comput. Chem. Eng. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
45Jing Li, Jung-San Lee, Chin-Chen Chang 0001 Preserving PHI in Compliance with HIPAA Privacy/Security Regulations Using Cryptographic Techniques. Search on Bibsonomy IIH-MSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PHI, security, privacy, HIPAA, EMR
44Bui Quoc Lap, Thi-Thu-Hong Phan, Huu Du Nguyen, Le Xuan Quang, Phi Thi Hang, Nguyen Quang Phi, Vinh Truong Hoang, Pham Gia Linh, Bui Thi Thanh Hang Predicting Water Quality Index (WQI) by feature selection and machine learning: A case study of An Kim Hai irrigation system. Search on Bibsonomy Ecol. Informatics The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
43Abu Baker, Soumik Ghosh, Ashok Kumar 0001, Magdy A. Bayoumi, Rafic A. Ayoubi Design and Realization of Analog Phi-Function for LDPC Decoder. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Anne Lorette, Hassan Shekarforoush, Josiane Zerubia Super-Resolution with Adaptive Regularization. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF adaptive regularization, multichannel super-resolution, high frequency information recovery, temporal bandwidth, regularity constraints, /spl phi/-functions, non-convex functions, unbounded functions, MAP criterion, Markov random fields, image reconstruction, image resolution, cost function, discontinuities, convex functions, Bayesian framework, ill-posed problem, bounded functions
40Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond Vacuity: Towards the Strongest Passing Formula. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Xia Zhu, Xiaoping Li 0001, Qian Wang 0011 Hybrid Heuristic for Total Flowtime Minimization in No-wait Flow Shops. Search on Bibsonomy CSCWD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Xuemin Lin 0001, Jian Xu, Qing Zhang 0001, Hongjun Lu, Jeffrey Xu Yu, Xiaofang Zhou 0001, Yidong Yuan Approximate Processing of Massive Continuous Quantile Queries over High-Speed Data Streams. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data mining, Query processing, online computation
40John Sucec, Ivan Marsic Hierarchical Routing Overhead in Mobile Ad Hoc Networks. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hierarchical techniques, control overhead, routing, scalability, Mobile ad hoc network
40Markus Frick Generalized Model-Checking over Locally Tree-Decomposable Classes. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Peter J. Haas, Christian Koenig A Bi-Level Bernoulli Scheme for Database Sampling. Search on Bibsonomy SIGMOD Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40David Piggott, Alan Kelly, Conor Teljeur Exploring the combination of computational Grid processing techniques and public health information in relation to modeling the effects of hospital closure proposals. Search on Bibsonomy CCGRID The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Yuefei Sui, Youming Xia, Ju Wang 0005 The Information Entropy of Rough Relational Databases. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rough set, Relational database, Dependence, Entropy
40Michael Mitzenmacher, Balaji Prabhakar, Devavrat Shah Load Balancing with Memory. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Dimitris Fotakis 0001, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis Radiocolorings in Periodic Planar Graphs: PSPACE-Completeness and Efficient Approximations for the Optimal Range of Frequencies. Search on Bibsonomy WG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Vida Dujmovic, Sue Whitesides An Efficient Fixed Parameter Tractable Algorithm for 1-Sided Crossing Minimization. Search on Bibsonomy GD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Stefan Felsner, Giuseppe Liotta, Stephen K. Wismath Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions. Search on Bibsonomy GD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Garng M. Huang, Shan Zhu A fast distributed optimal routing algorithm for multicommodity large data networks. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fast distributed optimal routing algorithm, multicommodity large data networks, large data network, multicommodities, parallel time complexity, flow demand, OPNET simulation tool, computational complexity, distributed algorithms
32Tetyana Gerasimova, Alla Nesterenko Паралельні алгоритми розв'язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп'ютерах з процесорами Intel Xeon Phi Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi. Search on Bibsonomy UkrPROG The full citation details ... 2018 DBLP  BibTeX  RDF
32Leandro Pardo, Nirian Martín Minimum Phi-Divergence Estimators and Phi-Divergence Test Statistics in Contingency Tables with Symmetry Structure: An Overview. Search on Bibsonomy Symmetry The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Liren Huang, L. L. Tan H-exceptional family, (phi, phi, psi)-exceptional family and the solution for VIP. Search on Bibsonomy Appl. Math. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Triet M. Le, Linh H. Lieu, Luminita A. Vese (Phi, Phi*) Image Decomposition Models and Minimization Algorithms. Search on Bibsonomy J. Math. Imaging Vis. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Jeffrey J. Holt The minimal number of solutions to phi(n) = phi(n + k). Search on Bibsonomy Math. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Yu-Ru Syau ([Phi]1, [Phi]2)-Convex fuzzy mappings. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Don R. Halverson, Gary L. Wise Asymptotic memoryless discrete-time detection of phi-mixing signals in phi-mixing noise. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
32Benjamin Garba Ishaku Feature extraction and Phi -function selection in Phi -systems (Ph.D. Thesis abstr.). Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
29Bin Zou 0002, Luoqing Li The Generalization Performance of Learning Machine Based on Phi-mixing Sequence. Search on Bibsonomy ICPR (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Bing Tang, Zhigeng Pan, ZuoYan Lin, Le Zheng PHI: Physics Application Programming Interface. Search on Bibsonomy ICEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29William C. Rounds, Hosung Song The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. Search on Bibsonomy HSCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29E. Jack Chen, W. David Kelton Mean Estimation Based on Phi-Mixing Sequences. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Simulation, Stopping Rules, Output Analysis, Batch Means
29Bruce A. Vendt, Robert C. McKinstry, William S. Ball, Michael A. Kraut, Fred W. Prior, Bruce Barton, James F. Casella, Michael R. DeBaun Silent Cerebral Infarct Transfusion (SIT) Trial Imaging Core: Application of Novel Imaging Information Technology for Rapid and Central Review of MRI of the Brain. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Clinical trial imaging, PHI, case report forms, central review
28Taieb Znati, Brian Field A Network Level Channel Abstraction for Multimedia Communication in Real-Time Networks. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF network level channel abstraction, network level abstraction, phi -channel, end-to-end communication channel, packet maximum end-to-end delay, on-time reliability, simulation, protocols, delays, distributed databases, multimedia systems, communication protocols, multimedia communication, distributed multimedia systems, real-time networks, performance parameters
27Frank Chun Yat Li, David Dearman, Khai N. Truong Virtual shelves: interactions with orientation aware devices. Search on Bibsonomy UIST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF kinesthetic memory, spatially aware devices, mobile computing, spatial memory
27Markus Püschel, José M. F. Moura Algebraic Signal Processing Theory: Foundation and 1-D Time. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Markus Püschel, José M. F. Moura Algebraic Signal Processing Theory: 1-D Space. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Milosh V. Ivanovich, Paul G. Fitzpatrick Throughput metrics in beyond 3G wireless systems with complex rate variability and QoS. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Hubie Chen, Florent R. Madelaine, Barnaby Martin Quantified Constraints and Containment Problems. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Ingrid Daubechies, Ronald A. DeVore, Massimo Fornasier, C. Sinan Güntürk Iteratively Re-weighted Least Squares minimization: Proof of faster than linear rate for sparse recovery. Search on Bibsonomy CISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Gonçalo N. Tavares, Luis M. Tavares On the Statistics of the Sum of Squared Complex Gaussian Random Variables. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Sung-Eun Park, Chiwoo Lim, Thierry Lestable, Jaeyoel Kim, Kyeongcheol Yang A Class of Structured LDPC Codes Over GF(q) for Efficient Encoding. Search on Bibsonomy VTC Spring The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Farn Wang, Geng-Dian Huang, Fang Yu 0001 TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
27Shannon M. Hughes, Ingrid Daubechies Simpler Alternatives to Information Theoretic Similarity Metrics for Multimodal Image Alignment. Search on Bibsonomy ICIP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Zhihua Cui, Jianchao Zeng 0001, Guoji Sun Using Accelerator Feedback to Improve Performance of Integral-Controller Particle Swarm Optimization. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Reid Andersen, Fan R. K. Chung, Kevin J. Lang Local Graph Partitioning using PageRank Vectors. Search on Bibsonomy FOCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Miklós Csürös, Miklós Ruszinkó Single-user tracing and disjointly superimposed codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Glad Deschrijver, Chris Cornelis, Etienne E. Kerre On the representation of intuitionistic fuzzy t-norms and t-conorms. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jie Mi A unified way of comparing the reliability of coherent systems. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Kathy J. Horadam Differentially 2-Uniform Cocycles - The Binary Case. Search on Bibsonomy AAECC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Farn Wang, Geng-Dian Hwang, Fang Yu 0001 TCTL Inevitability Analysis of Dense-Time Systems. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
27Marek Chrobak, Jirí Sgall Analysis of the Harmonic Algorithm for Three Servers. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher Action Refinement from a Logical Point of View. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, specification, modal logics, reactive systems, action refinement
27Huimin Lin, Wang Yi 0001 Axiomatising timed automata. Search on Bibsonomy Acta Informatica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Jochen Burghardt Axiomatization of Finite Algebras. Search on Bibsonomy KI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Germana M. da Nóbrega, Stefano A. Cerri, Jean Sallantin On the Social Rational Mirror: Learning E-commerce in a Web-Served Learning Environment. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Thomas Ball, Andreas Podelski, Sriram K. Rajamani Relative Completeness of Abstraction Refinement for Software Model Checking. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Sridhar Alagar, Subbarayan Venkatesan Techniques to Tackle State Explosion in Global Predicate Detection. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF global intervals, Distributed systems, lattice, space complexity, global states, global predicates
27Satyaki Das, David L. Dill, Seungjoon Park Experience with Predicate Abstraction. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Markus Frick, Martin Grohe Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled Parametric Temporal Logic for "Model Measuring". Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Michael Huth 0001, Marta Z. Kwiatkowska Quantitative Analysis and Model Checking. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Henrik O. Saldner, Jonathan M. Huntley Shape Measurement of Discontinuous Objects using Projected Fringes and Temporal Phase Unwrapping. Search on Bibsonomy 3DIM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF discontinuous objects, projected fringes, temporal phase unwrapping, fringe phase, temporal unwrapping, interferograms, signal-to-noise ratio, interferometry
27Hiroaki Ueda, Kozo Kinoshita Low power design and its testability. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF power reduction tool, power dissipation factor, testability parameters, fault diagnosis, logic testing, delays, probability, design for testability, low power design, logic CAD, testability, fault location, stuck-at faults, CMOS logic circuits, delay faults, CMOS circuit, PORT, automatic test software, redundant faults, transition probability
27Srimat T. Chakradhar Optimum retiming of large sequential circuits. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimum retiming, large sequential circuits, unit delay model, optimum clock period, path graph, VLSI, linear programming, delays, timing, integer programming, sequential circuits, logic CAD, integer linear program, flip-flops, circuit CAD, fast algorithm, integrated logic circuits, circuit optimisation, VLSI circuits, linear program relaxation
27David J. Pritchard, Denis A. Nicole Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF deadlock-free fixed degree network, cube-connected Mobius ladders, deadlock-free routingstrategy, fixed node degree, fixed degree topology of size, transputernetworks, parallel algorithms, computational complexity, graph theory, topology, Cayley graph, multiprocessorinterconnection network, network diameter, multiprocessor interconnectionnetworks, interval routing
27David Lee 0001 Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF random noise, optimal discontinuity detectors, scaled pattern, classification, computer vision, computer vision, statistics, detection, statistical method, discontinuities, approximate pattern matching
22Pham Minh Khiem, Phi Le Nguyen, Viet Hung Vu, Thao Nguyen Truong, Hoa Vo-Van, Thanh Ngo-Duc A data-driven approach for high accurate spatiotemporal precipitation estimation. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Trung Thanh Nguyen, Phi Le Nguyen, Yasutomo Kawanishi, Takahiro Komamizu, Ichiro Ide Zero-Shot Pill-Prescription Matching With Graph Convolutional Network and Contrastive Learning. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Nguyen Hue Minh, Liu Sy Hai, Nguyen Anh Phi, Le Bui Thao Duyen, Le Thi Quynh Giang The Impact of TikTok UGC Videos on Online Purchase Intention: Mediating Role of Cognitive States. Search on Bibsonomy Pac. Asia J. Assoc. Inf. Syst. The full citation details ... 2024 DBLP  BibTeX  RDF
22Van An Le, Yusheng Ji, Huu Huy Tran, Phi Le Nguyen, John C. S. Lui Achieving Multi-Time-Step Segment Routing via Traffic Prediction and Compressive Sensing Techniques. Search on Bibsonomy IEEE Trans. Netw. Serv. Manag. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Quan Nguyen, Hieu H. Pham 0001, Kok-Seng Wong, Phi Le Nguyen, Truong Thao Nguyen, Minh N. Do FedDCT: Federated Learning of Large Convolutional Neural Networks on Resource-Constrained Devices Using Divide and Collaborative Training. Search on Bibsonomy IEEE Trans. Netw. Serv. Manag. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Khiem Phi, Noushin Salek Faramarzi, Chenlu Wang, Ritwik Banerjee Paying Attention to Deflections: Mining Pragmatic Nuances for Whataboutism Detection in Online Discourse. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
22Xingxuan Li, Xuan-Phi Nguyen, Shafiq Joty, Lidong Bing ParaICL: Towards Robust Parallel In-Context Learning. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1237 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license