|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9856 occurrences of 4964 keywords
|
|
|
Results
Found 20831 publication records. Showing 20831 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Cécile Braunstein, Emmanuelle Encrenaz |
CTL-property Transformations along an Incremental Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 77-88, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
System design and verification, Computational tree logic, Simulation relation |
11 | Ivo Düntsch, Günther Gediga, Ewa Orlowska |
Relational Attribute Systems II: Reasoning with Relations in Information Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 7, pp. 16-35, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information relation, relational attribute system, fuzzy information system, relational deduction, semantical framework, information system, Attribute |
11 | Lennart Åqvist |
An interpretation of probability in the law of evidence based on pro-et-contra argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 15(4), pp. 391-410, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pro-et-contra reasoning, Evidence for and evidence against a fact, Quaternary ordering relation, Binary probability ranking, n-level grading mechanism, Measures of differences in evidential weight and of probability, Degrees of evidential strength, Empirical test of hypothesis and historical source criticism |
11 | Markus Müller-Olm, Helmut Seidl |
Analysis of modular arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(5), pp. 29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic |
11 | Anton Eliëns, Yiwen Wang 0001, Chris van Riel, Tatja Scholte |
3D digital dossiers: a new way of presenting cultural heritage on the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Twelfth International Conference on 3D Web Technology, Web3D 2007, Perugia, Italy, April 15-18, 2007, pp. 157-160, 2007, ACM, 978-1-59593-652-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concept graphs, contemporary art, digital dossiers, relation visualization, VRML, cultural heritage |
11 | WenAn Chen, Hongbin Zhang 0009 |
The Condition of Kernelizing an Algorithm and an Equivalence Between Kernel Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I, pp. 338-345, 2007, Springer, 978-3-540-72846-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Kernelization, Kernel PCA, Equivalence Relation |
11 | Rudolf Seising, Julia Limberg |
Similarity and Distance-Their Paths from Crisp to Fuzzy Concepts and an Application in Medical Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 243-252, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
probabilistic metrics, ensembles flous, fuzzy sets medical philosophy, metrics, distance, t-norms, Similarity relation |
11 | Qiankun Zhao, Prasenjit Mitra, C. Lee Giles |
Image annotation by hierarchical mapping of features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1237-1238, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
hierarchical relation, image annotation, feature mapping |
11 | Gjergji Kasneci, Fabian M. Suchanek, Maya Ramanath, Gerhard Weikum |
How NAGA uncoils: searching with entities and relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1167-1168, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semantics, search, ranking, knowledge base, relation, entities, graph queries |
11 | Christina M. Steiner, Dietrich Albert |
Personalising Learning through Prerequisite Structures Derived from Concept Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2007, 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers, pp. 43-54, 2007, Springer, 978-3-540-78138-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Knowledge Space Theory, Prerequisite Relation, Adaptivity, Semantic Network, Personalisation, Concept Map |
11 | Jordan Shterev, Margarita Todorova |
Service quality of multimedia streams and objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 104, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
break of quality of performance, quality of performance, synchronization relation, delay, multimedia stream, multimedia object |
11 | Zhen Ming Ma, Wei Yang 0036, Qingjun Ren |
A Common Generalization of Smooth Group and Vague Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 144-148, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
J-fuzzy relation, I-fuzzy equality, J-fuzzy function, GF-fuzzy group |
11 | François Barthélemy |
Multi-grain Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 243-252, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
rational relation, tree transduction, two-level morphology |
11 | Sergey N. Potapychev, Andrey V. Pan'kin |
Universal Data Model for Intelligent GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IF&GIS ![In: Third International Workshop on Information Fusion and Geographical Information Systems - IF&GIS'07, St. Petersburg, Russia, May 27-29, 2007. Proceedings, pp. 272-285, 2007, Springer, 978-3-540-37628-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intelligent geographical information system, XML, data model, relation, Object-oriented approach, metaclass |
11 | Wei-Hua Xu 0003, Hong-Zhi Yang, Wen-Xiu Zhang |
Uncertainty Measures of Roughness of Knowledge and Rough Sets in Ordered Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 759-769, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rough entropy, Rough degree, Rough set, Information systems, Dominance relation |
11 | Ágnes Vathy-Fogarassy, Attila Kiss 0001, János Abonyi |
Improvement of Jarvis-Patrick Clustering Based on Fuzzy Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 195-202, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neighborhood relation, Jarvis-Patrick clustering, VAT, MDS, fuzzy similarity measure |
11 | Xin Wang |
An Evaluation System Model for Analyzing Employee Turnover Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1127-1133, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Evaluation system model, Employee turnover, Knowledge management, Relation database, Case -based reasoning, Data warehousing, Human resource management, Enterprise application, Enterprise system, Risk factors |
11 | Hsuan-Shih Lee, Ming-Tao Chou, Hsin-Hsiung Fang, Wei-Kuo Tseng, Chen-Huei Yeh |
Estimating Missing Values in Incomplete Additive Fuzzy Preference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 1307-1314, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Incomplete fuzzy preference relation, Estimation, Transitivity |
11 | Hongwei Zeng, Huaikou Miao |
Auto-Generating Test Sequences for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings, pp. 301-305, 2007, Springer, 978-3-540-73596-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistency relation, model checking, Web application, test generation |
11 | Patrick Doherty 0001, Barbara Dunin-Keplicz, Andrzej Szalas |
Dynamics of Approximate Information Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 668-677, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information fusion, approximate reasoning, similarity relation |
11 | Jing Bai 0005, Jian-Yun Nie, Guihong Cao, Hugues Bouchard |
Using query contexts in information retrieval. ![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. 15-22, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
query contexts, term relation, language model, domain model |
11 | Minlie Huang, Xiaoyan Zhu 0001 |
Combining Convolution Kernels Defined on Heterogeneous Sub-structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 539-546, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
convolution kernel, SVM, text mining, relation extraction |
11 | Alessandra Palmigiano, Yde Venema |
Nabla Algebras and Chu Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 394-408, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra |
11 | Yonghee Shin, Hyori Jeon, Munkee Choi |
Proposal for a Ubiquitous Virtual Enterprise Reference Model on Next-Generation Convergence Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 1017-1026, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
DSS model, firm relation type, decision making, virtual enterprise, critical success factor, flow model, digital economy |
11 | Mickaël Coustaty, Stéphanie Guillas, Muriel Visani, Karell Bertet, Jean-Marc Ogier |
On the Joint Use of a Structural Signature and a Galois Lattice Classifier for Symbol Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition. Recent Advances and New Opportunities, 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers, pp. 61-70, 2007, Springer, 978-3-540-88184-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Structural signature, Hough transform, Concept lattice, Symbol recognition, Topological relation |
11 | Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh |
A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 404-414, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ontological Relation, Question Answering, FrameNet |
11 | Nicolas Halbwachs, David Merchat, Laure Gonnord |
Some ways to reduce the space dimension in polyhedra computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(1), pp. 79-95, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Linear relation analysis, Double description, Cartesian product of polyhedra, Program analysis, Convex polyhedra |
11 | Tao Li 0001, Chris H. Q. Ding |
The Relationships Among Various Nonnegative Matrix Factorization Methods for Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18-22 December 2006, Hong Kong, China, pp. 362-371, 2006, IEEE Computer Society, 0-7695-2701-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simultaneous clustering, normalization, relation, matrix factorization |
11 | Peifeng Xiang, Yuanchun Shi |
Recovering semantic relations from web pages based on visual cues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 11th International Conference on Intelligent User Interfaces, IUI 2006, Sydney, Australia, January 29 - February 1, 2006, pp. 342-344, 2006, ACM, 1-59593-287-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
user interface, pattern, semantic relation, visual cues |
11 | Guosheng Zhao, Huiqiang Wang, Jian Wang 0039 |
A Novel Quantitative Analysis Method for Network Survivability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 30-33, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
key service, decision matrix, best affiliate degree, network survivability, grey relation analysis |
11 | Arianna D'Ulizia, Fernando Ferri |
Formalization of Multimodal Languages in Pervasive Computing Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Advanced Internet Based Systems and Applications, Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers, pp. 126-136, 2006, Springer, 978-3-642-01349-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Multimodal languages, relation grammars, pervasive computing systems |
11 | Ahlem Nabli, Jamel Feki, Faïez Gargouri |
An Ontology Based Method for Normalisation of Multidimensional Terminology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Advanced Internet Based Systems and Applications, Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers, pp. 235-246, 2006, Springer, 978-3-642-01349-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Multidimensional concept, decisional ontology, semantic relation, normalisation |
11 | G. Naresh, B. D. Chaudhary |
A Model for Temporal relations between Object Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 100-107, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
role-oriented modelling, temporal role relation graph, framework, role |
11 | Idris A. Eckley, Guy P. Nason |
Efficient computation of the discrete autocorrelation wavelet inner product matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 15(2), pp. 83-92, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
recursive wavelet relation, locally stationary time series, autocorrelation wavelets |
11 | Hai Zhuge, Xiang-Feng Luo |
Knowledge Map: Mathematical Model and Dynamic Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(3), pp. 289-295, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
knowledge representation, fuzzy cognitive maps, knowledge grid, causal relation |
11 | Joachim Lambek, Philip J. Scott |
An Exactification of the Monoid of Primitive Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(1), pp. 1-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers |
11 | Michael Huth 0001 |
Refinement is complete for implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(2), pp. 113-137, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Modal transition systems, Implementation relation, Model checking, Refinement |
11 | Björn Gottfried |
Collision avoidance with bipartite arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-KRAS ![In: Proceedings of the 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems, KRAS 2005, Bremen, Germany, November 4, 2005, 2005, pp. 9-16, 2005, ACM, 1-59593-202-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
line segment relations, orientation, relation algebra, position, collision avoidance, qualitative spatial reasoning |
11 | Tianfang Yao, Hans Uszkoreit |
Identifying Semantic Relations Between Named Entities from Chinese Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Systems ![In: Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers, pp. 70-83, 2005, Springer, 3-540-70933-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Chinese information extraction, named entity relation identification, machine learning |
11 | Margaret Ann Francel, David J. John |
Constructing an even grammar from a 2-element sample. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 69-74, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
skeleton, grammatical inference, equivalence relation |
11 | Muhammad Abulaish, Lipika Dey |
Biological Ontology Enhancement with Fuzzy Relations: A Text-Mining Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, pp. 379-385, 2005, IEEE Computer Society, 0-7695-2415-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Biological Information extraction, Text mining, Fuzzy relation, Fuzzy ontology |
11 | Jerry R. Hobbs, Feng Pan 0012 |
An ontology of time for the semantic web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 3(1), pp. 66-85, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
clock and calendar, ontology, semantic web, time, temporal relation, temporal information, duration, time zone |
11 | Tapan K. Sengupta, Anurag Dipankar |
A Comparative Study of Time Advancement Methods for Solving Navier-Stokes Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 21(2), pp. 225-250, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
time integration methods, dispersion relation preservation, flow instabilities, DNS, Navier-Stokes equation |
11 | Yasuo Narukawa, Vicenç Torra |
Fuzzy Measures and Choquet Integral on Discrete Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 573-581, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Matroids, Fuzzy relation, Choquet integral, Fuzzy measure, Fuzzy integrals, Fuzzy graph |
11 | Daniel R. Ellis, John G. Aiken, Kira S. Attwood, Scott D. Tenaglia |
A behavioral approach to worm detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORM ![In: Proceedings of the 2004 ACM Workshop on Rapid Malcode, WORM 2004, Washington, DC, USA, October 29, 2004, pp. 43-53, 2004, ACM Press, 1-58113-970-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
behavioral signatures, descendant relation, network application architecture, network worms, intrusion detection |
11 | Nicolae Tandareanu, Mihaela Ghindeanu |
Hierarchical Reasoning Based on Stratified Graphs Application in Image Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 498-502, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
labeled stratified graph, grid-representation of an image, directional relation |
11 | Ridha Khédri, Imen Bourguiba |
Formal Derivation of Functional Architectural Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 356-265, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component |
11 | Chris Tofallis |
Multiple Neutral Data Fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 69-79, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
functional relation, regression, model fitting, data fitting |
11 | Stefan Milius |
On Colimits in Categories of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(3), pp. 287-312, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
(co)limit of -chains, (co)products, initial algebra construction, map, relation, 2-categories |
11 | Azaria Paz |
An alternative version of Lauritzen et al.'s algorithm for checking representation of independencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(5), pp. 344-349, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Annotated Graph, Collider, Discrete Probabilistic Distribution (PD), Independency Relation - Conditional, Undirected Graph (UG), Directed Acyclic Graph (DAG) |
11 | Ulrich Bodenhofer |
A unified framework of opening and closure operators with respect to arbitrary fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(4), pp. 220-227, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, Fuzzy preordering, Closure, Fuzzy relation, Opening |
11 | George Georgescu, Andrei Popescu 0001 |
Non-commutative fuzzy Galois connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(7), pp. 458-467, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation |
11 | Saso Dzeroski, Luc De Raedt, Stefan Wrobel |
Multirelational data mining 2003: workshop report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 5(2), pp. 200-202, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi-relation learning and data mining |
11 | Tsau Young Lin |
Information Flows in E-Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 616-620, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data mining, Modeling, lattice, equivalence relation |
11 | Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Mobile mail-agents through similarity-based reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(5), pp. 348-356, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
E-mail systems, Java, Mobile agents, Logic programming, Similarity relation |
11 | Irina Perfilieva |
Logical approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(2), pp. 73-78, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Disjunctive and conjunctive normal forms, BL-logic, Fuzzy logic, Approximation, Fuzzy relation |
11 | Eitan Grinspun, Petr Krysl, Peter Schröder |
CHARMS: a simple framework for adaptive simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 281-290, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
refinement relation, multiresolution, subdivision, adaptive computation, basis function |
11 | Luigi Di Lascio |
Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 117-124, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux |
11 | Tsau Young Lin |
Issues in Modeling for Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 1152-1157, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
data mining, Modeling, lattice, equivalence relation |
11 | Boris A. Romov |
Partial Hyperclones on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 17-22, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation |
11 | Hyeokki Kwon, Il Im, Bartel A. Van de Walle |
Are You Thinking What I Am Thinking? A Comparison of Decision Makers' Cognitive Maps by Means of a New Similarity Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 78, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Relational product, Similarity measure, Cognitive map, Fuzzy relation, Preorder |
11 | Helmut Röhrl |
Convexity Theories VII. Discrete Gamma-Convex Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 259-283, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
discrete -convex module, join semilattice, Klein-Hilbert relation |
11 | William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
Optimizing Symbolic Model Checking for Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(2), pp. 170-190, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems |
11 | Radu Grosu, Ketil Stølen |
Stream-Based Specification of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(1), pp. 1-31, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Denotational model, Input/output relation, Many-to-many communication, Specification, Mobile system, Point-to-point communication |
11 | P. Krishna Reddy, Masaru Kitsuregawa |
An Approach to Relate the Web Communities through Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (1) ![In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE'01, Organized by WISE Society and Kyoto University, Kyoto, Japan, 3-6 December 2001, Volume 1 (Main program), pp. 301-310, 2001, IEEE Computer Society, 0-7695-1393-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Trawling, Data mining, Web mining, Link analysis, Relation, Bipartite graph, Community detection |
11 | Maytal Saar-Tsechansky, Nava Pliskin, Gadi Rabinowitz, Mark Tsechansky |
Patterns Extraction for Monitoring Medical Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
relational patterns, multi relation patterns |
11 | Jeff Tupper |
Reliable two-dimensional graphing methods for mathematical formulae with two free variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2001, Los Angeles, California, USA, August 12-17, 2001, pp. 77-86, 2001, ACM, 1-58113-374-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
GrafEq, Tupper interval arithmetic, formula graphing, relation graphing, graphing, interval arithmetic, interval analysis, algebraic curves, implicit curves |
11 | Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett |
A note on proximity spaces and connection based mereology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 139-150, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
connection relation, pointless geometry, proximity space, mereology |
11 | Jorge Picado |
Structured Frames by Weil Entourages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 351-366, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Weil entourage, localic group, quasi-uniform frame, quasi-nearness, infinitesimal relation, frame, proximity, nearness, uniform frame |
11 | Ralf Kemper |
p-Banach Spaces and p-Totally Convex Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(3), pp. 279-295, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
p-Banach space, p-normed vector space, (p-) totally (resp. (p-) absolutely) convex space, congruence relation, Eilenberg-Moore category, monad |
11 | Yuhai Ma, Wanchun Shi |
Intelligent Analysis and Off-Line Debugging of VLSI Device Test Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 14(3), pp. 273-293, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
error type, off-line debugging environment, FCE (Fuzzy Comprehensive Evaluation), reference set, evaluation space, evaluation factor, evaluation remark, test entity, relevance coefficient, fuzzy set, fuzzy relation, test program |
11 | Atsuo Yoshitaka, Tadao Ichikawa |
A Survey on Content-Based Retrieval for Multimedia Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 81-93, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
spatio-temporal relation, knowledge, content-based retrieval, Multimedia databases, query-by-example |
11 | Kasper Østerbye |
Associations as a Language Construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 224-235, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
UML, compilation, object-oriented, associations, relation, language construct |
11 | Li Zhu, Shouqi Zheng, Zhijun Zheng, Junhui Zhou, Yinqiu Yu |
An Object-Oriented Software Design for Distributed Videoconferencing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 386-391, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Distributed videoconference, object-oriented mechanism, parallelism, semantic relation, multimedia object |
11 | Roberto Baldoni |
A Positive Acknowledgment Protocol for Causal Broadcasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(12), pp. 1341-1350, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Causal broadcasting, vector times, happened-before relation, distributed systems, group communication, sliding windows, asynchrony |
11 | Keqin Li |
Performance evaluation of probabilistic tree embedding in cube-connected cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1998 ACM symposium on Applied Computing, SAC'98, Atlanta, GA, USA, February 27 - March 1, 1998, pp. 584-592, 1998, ACM, 0-89791-969-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
probabilistic tree embedding, symmetric network, performance analysis, recurrence relation, cube-connected cycles, dynamic load distribution |
11 | William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin |
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 102-112, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML |
11 | Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor |
Vector Time and Causality Among Abstract Events in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(1), pp. 21-39, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation |
11 | Laura K. Dillon |
Task Dependence and Termination in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 6(1), pp. 80-110, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed termination, master/dependent relation, task termination, tasking execution model, Ada, Ada tasking |
11 | Richard I. Hartley |
Lines and Points in Three Views and the Trifocal Tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 22(2), pp. 125-140, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
trilinear relation, structure from motion, projective reconstruction, trifocal tensor |
11 | Keqin Li |
On dynamic tree growing in hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1997 ACM symposium on Applied Computing, SAC'97, San Jose, CA, USA, February 28 - March 1, pp. 496-503, 1997, ACM, 0-89791-850-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
randomized tree embedding, hypercube, random walk, probabilistic analysis, recurrence relation, dynamic load distribution |
11 | Joachim Niehren, Manfred Pinkal, Peter Ruhrberg |
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 34-48, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language |
11 | Kwon Yang Kim, Se-Young Park, Sang-Jo Lee |
An Integrating Clues Method Based on Syntactic Relations for Korean Verb Sense Disambiguation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 178-181, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
verb sense disambiguation, syntactic relation, supervised |
11 | Joachim Althaler, Arne Dür |
Finite linear recurring sequences and homogeneous ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(5), pp. 377-390, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Linear Recurrence Relation, Annihilator Ideal, Inverse System, Shift Register Synthesis Problem, Berlekamp-Massey Algorithm |
11 | Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo |
Extending Existing Dependency Theory to Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 8(4), pp. 563-582, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
database design, functional dependency, normal form, transaction time, Temporal relation, data semantics, valid time |
11 | Debabrata Dey, Sumit Sarkar |
A Probabilistic Relational Model and Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(3), pp. 339-369, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty |
11 | B. Bodenstorfer |
Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 56(2), pp. 173-178, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Subset-relation, minimal upper bound, generalized induction, nonmonotonic logic |
11 | Keqin Li 0001 |
Maintenance of tree structured computations on parallel and distributed computer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 337-343, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
randomized tree growing algorithm, performance analysis, recurrence relation, dynamic load distribution |
11 | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose |
CTL model checking based on forward state traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 82-87, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
state traversal, partitioned transition relation, model checking, formal verification, CTL |
11 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 262-266, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
11 | Herbert Edelsbrunner |
Algebraic Decompositions of Non-Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 248-257, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
algebraic decomposition, nonconvex polyhedra, arbitrary polyhedron, algebraic sum, half-spaces, point classification, Gram-Sommerville angle relation, parallel algorithms, parallel algorithm, computational geometry, boolean formula |
11 | Stefan Ronngren, Behrooz A. Shirazi |
Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 143-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods |
11 | Dominique Laurent 0001, Nicolas Spyratos |
A Partition Model Approach to Updating Universal Scheme Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(2), pp. 316-330, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
partition model, universal scheme interface updating, relational database updating, counterintuitive results, partition semantics, relational databases, database theory, relational algebra, functional dependency, nondeterminism, relational model, deletions, universal relation |
11 | William W. Pugh, David Wonnacott |
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1248-1278, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Omega test, array data-dependence analysis, optimization, compilation, automatic parallelization, Presburger arithmetic, dependence relation |
11 | Junguk L. Kim, Taesoon Park |
An Efficient Protocol for Checkpointing Recovery in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(8), pp. 955-960, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
checkpointing recovery, synchronized checkpointing protocol, checkpointing coordinator, distributed systems, protocols, distributed processing, synchronisation, system recovery, dependency relation |
11 | Saso Dzeroski, Nada Lavrac |
Inductive Learning in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 939-949, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data |
11 | Liwu Li 0001 |
Fast In-Place Verification of Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 266-281, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
in-place verification, space-optimal sequential, satisfaction problem, fast space-optimal sorting techniques, sequential implementations, I/O transfers, in-place FD, MVD verification, relation modification, parallel algorithms, parallel algorithms, relational databases, program verification, data dependencies, tuples, relational database systems, multivalued dependencies, space optimality |
11 | Adegbeniga Ola, Gultekin Özsoyoglu |
Incomplete Relational Database Models Based on Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 293-308, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
unknown relations, partial tuple types, incompleteness relationships, relation level, attribute value level, Imielinski-Lipski sense, data structures, relational databases, database theory, query evaluation, relational database models |
11 | Francesco M. Malvestuto |
A Universal-Scheme Approach to Statistical Databases Containing Homogeneous Summary Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(4), pp. 678-708, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
category relation, summary table, universal classification scheme, bipartite graph, statistical database, query-answering system |
11 | R. G. G. Cattell, J. Skeen |
Object Operations Benchmark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(1), pp. 1-31, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
engineering database benchmark, hypermodel, object operations benchmark, object-oriented DBMS's, relation of DBMS's, CAD, workstations, CASE, client-server architecture |
|
|