|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1851 occurrences of 1426 keywords
|
|
|
Results
Found 2806 publication records. Showing 2806 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Wei Zhang, Junming Qin, Ju Wang 0005, Yuncheng Jiang |
Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (5) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 5, pp. 536-540, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
66 | Darren M. Platt, Trevor I. Dix |
Stochastic assembly of contig restriction maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 155-164, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
cellular biophysics, stochastic assembly, contig restriction maps, genomic mapping clones, fragment measurements, restriction digest, map representation, fragment pairing, minimum message length principles, CEA gene region, chromosome 19, similarity, stochastic processes, genetics, biology computing, objective function |
52 | Alessandra Aimi, Mauro Diligenti |
Restriction matrices for numerically exploiting symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 28(3), pp. 201-235, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
group representation theory, restriction matrices, invariant problems, finite element method, boundary element method |
52 | Long-sheng Huang, Li-pu Zhang |
Solution method for Fuzzy Assignment problem with Restriction of Qualification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 765-769, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Assignment, Restriction of Qualification, Decision Matrix, Solution Matrix, Fuzzy Variable |
51 | Hisao Ishibuchi, Youhei Shibata |
An Empirical Study on the Effect of Mating Restriction on the Search Ability of EMO Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings, pp. 433-447, 2003, Springer, 3-540-01869-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Laxmi Parida, Dan Geiger |
Mass Estimation of DNA Molecules and Extraction of Ordered Restriction Maps in Optical Mapping Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 25(2-3), pp. 295-310, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Flip cut, Optical mapping, Shortest path algorithm |
51 | Yasuo Watanabe, Katsutoshi Takahashi, Masayuki Nakazawa |
Automated detection and matching of spots in autoradiogram images of two-dimensional electrophoresis for high-speed genome scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 496-499, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
electrophoresis, automated detection, autoradiogram images, two-dimensional electrophoresis, high-speed genome scanning, restriction landmark genome scanning, genetic locus, copy number, restriction landmark, ring operators, RLGS patterns, differential state, Delaunay net, relative neighbourhood graphs, matching, pattern analysis, intensity, automated analysis, spots, gradient operators |
45 | Yoichi Tomiura, Shosaku Tanaka, Toru Hitaka |
Estimating satisfactoriness of selectional restriction from corpus without a thesaurus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(4), pp. 400-416, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Co-occurrence of word combination, multiple regression model, similarity between words with respect to co-occurrence, syntactic disambiguation |
43 | James P. Mammen, Devavrat Shah |
Throughput and Delay in Random Wireless Networks With Restricted Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(3), pp. 1108-1116, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Haiyan Che, Wei Chen, Tie Feng, Jiachen Zhang |
A Property Restriction Based Knowledge Merging Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 45-52, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
knowledge merging, property restriction based, equivalent instances recognition, ontology, Semantic Web |
40 | Daniel Sánchez 0001, Miguel Delgado 0001, María Amparo Vila Miranda |
Fuzzy Quantification Using Restriction Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 28-35, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy quantification, restriction level representation |
39 | Jesús Aranda, Frank D. Valencia, Cristian Versari |
On the Expressive Power of Restriction and Priorities in CCS with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 242-256, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Boris A. Romov |
Restriction-Closed Hyperclones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway, pp. 8, 2007, IEEE Computer Society, 978-0-7695-2831-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Steven Skiena, Sagi Snir |
Restricting SBH Ambiguity via Restriction Enzymes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 404-417, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Ami Litman, Shiri Moran-Schein |
Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(2), pp. 325-354, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Smooth scheduling, Variable rates, Confinement games, Concurrent confinement games, Non-concurrent confinement games, EDF schemes, EDF strategies, Online scheduling, Two players games |
37 | Ami Litman, Shiri Moran-Schein |
Smooth scheduling under variable rates or the analog-digital confinement game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 74-83, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
EDF schemes, EDF strategies, concurrent confinement games, confinement games, non-concurrent confinement games, smooth scheduling, variable rates, online scheduling, two players games |
34 | Yao Lu, Guoyi Zhang |
A DL-Based Approach for Eliminating Concept Restriction Conflicts in Ontology Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC Workshops ![In: IFIP International Conference on Network and Parallel Computing, NPC 2008, Shanghai, China, October 18-21, 2008, Workshop Proceedings, pp. 446-451, 2008, IEEE Computer Society, 978-0-7695-3354-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
value and cardinality restriction, conflicts elimination, description logic, conflict detection, ontology merging |
34 | Darren M. Platt, Trevor I. Dix |
A model for comparing genomic restriction maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 24-31, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
genomic restriction map comparison, genetic physical maps, genomic extracts, plausible maps, minimum message length principles, fragment length data, clone fingerprinting, sequence tagged sites, map structure, mapping program, error parameters, mapping process, uncertainties, statistical analysis, errors, DNA, DNA, genetics, biology computing, objective function, optimal solution |
34 | Mike Paterson, Uri Zwick |
Shrinkage of de~Morgan formulae under restriction ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 324-333, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
de Morgan formulae, random restriction, induced function, lower bound, NP |
33 | Masateru Furusato, Tomohiro Shima, Yuma Kokuzawa, Kazuhiko Ito, Takashi Tanaka, Kiyotaka Iwasaki, Yi Qian 0002, Mitsuo Umezu, Zhikun Yan, Ling Zhu |
A Reproduction of Inflow Restriction in the Mock Circulatory System to Evaluate a Hydrodynamic Performance of a Ventricular Assist Device in Practical Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSMS (2) ![In: Life System Modeling and Simulation, International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007, Proceedings, pp. 553-558, 2007, Springer, 978-3-540-74770-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Yo-Sub Han, Derick Wood |
A New Linearizing Restriction in the Pattern Matching Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 552-562, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
string pattern matching, design and analysis of algorithms, Automata and formal languages |
33 | Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted |
Supporting Several Levels of Restriction in the UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 396-409, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Tao Yue 0002, Lionel C. Briand, Yvan Labiche |
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 484-498, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Use Case Template, Restriction Rules, Controlled Experiment, Use Case, Use Case Modeling, Analysis Model |
32 | Giuditta Franco |
A Polymerase Based Algorithm for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings, pp. 237-250, 2005, Springer, 3-540-29106-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Polymerase, Restriction Enzymes, XPCR, SAT, DNA Computing |
32 | Matthias Baaz, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. ![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. 136-143, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
31 | Joan Feigenbaum, Sampath Kannan, Andrew McGregor 0001, Siddharth Suri, Jian Zhang 0004 |
Graph distances in the streaming model: the value of space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005, pp. 745-754, 2005, SIAM, 0-89871-585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Adrian Tanasa, Nguyen Hoang Nghia, Christophe Tollu |
Dendriform structures for restriction-deletion and restriction-contraction matroid Hopf algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 17(3), pp. 77-90, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Martin A. Coleman |
Freedom From Restriction, Freedom Of A Restriction: A Comparison Of Some Open Source Software Licenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.2079, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
30 | Roy Eric Collins, Gabrielle Rocap |
REPK: an analytical web server to select restriction endonucleases for terminal restriction fragment length polymorphism analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 35(Web-Server-Issue), pp. 58-62, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jiahong Liu, Quanyuan Wu, Wei Liu |
Temporal Restriction Query Optimization for Event Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2009 International Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009, Suzhou, China, April 2-4, 2009, Revised Selected Papers, pp. 25-35, 2009, Springer, 978-3-642-03995-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg |
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 317-332, 2008, Springer, 978-0-387-09679-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | QiSheng Cao, DeQun Liang |
Study on modulation techniques free of orthogonality restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(6), pp. 889-896, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Nyquist rate, nonorthogonality, digital communications, bandwidth efficiency |
27 | Giovanni Rimassa, Mirko Viroli |
Understanding access restriction of variant parametric types and Java wildcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1390-1397, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
java wildcards, use-site variance, variant parametric types, subtyping, java generics |
27 | Naotake Kamiura, Teijiro Isokawa, Nobuyuki Matsui |
Learning Based on Fault Injection and Weight Restriction for Fault-Tolerant Hopfield Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 10-13 October 2004, Cannes, France, Proceedings, pp. 339-346, 2004, IEEE Computer Society, 0-7695-2241-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Yasubumi Sakakibara, Hiroshi Imai |
A DNA-based Computational Model Using a Specific Type of Restriction Enzyme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers, pp. 315-325, 2002, Springer, 3-540-00531-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sam Lindley |
Many holes in hindley-milner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 59-68, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
indexed type, multi-holed context, phantom type, value restriction, dependent type |
26 | Daming Shi 0001, Hiok Chai Quek, R. Tilani, Jiacai Fu |
Product Demand Forecasting with a Novel Fuzzy CMAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 25(1), pp. 63-78, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
truth value restriction, neural networks, Time series, forecasting, fuzzy, CMAC |
26 | Jacek Blazewicz, Edmund K. Burke, Marta Kasprzak, Alexandr Kovalev, Mikhail Y. Kovalyov |
Simplified Partial Digest Problem: Enumerative and Dynamic Programming Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 4(4), pp. 668-680, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
genome mapping, restriction site analysis, Dynamic programming, Algorithm design and analysis, imprecise information |
26 | Noga Alon, Dana Moshkovitz, Shmuel Safra |
Algorithmic construction of sets for k-restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(2), pp. 153-177, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k-restriction, almost k-wise independence, generalized hashing, splitter, Set-Cover, Derandomization, group testing |
26 | Lin Shi, Yizhou Yu, Nathan Bell, Wei-Wen Feng |
A fast multigrid algorithm for mesh deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 25(3), pp. 1108-1117, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graph hierarchy, prolongation/restriction operators, constraints, Laplacian, mesh editing |
26 | András Belokosztolszki, David M. Eyers, Peter R. Pietzuch, Jean Bacon, Ken Moody |
Role-based access control for publish/subscribe middleware architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 2nd International Workshop on Distributed Event-Based Systems, DEBS 2003, Sunday, June 8th, 2003, San Diego, California, USA (in conjunction with SIGMOD/PODS), 2003, ACM, 1-58113-843-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
broker trust, restriction of advertisements/subscriptions, role-based access control, publish/subscribe |
26 | Marie-Laure Reinberger, Peter Spyns, Walter Daelemans, Robert Meersman |
Mining for Lexons: Applying Unsupervised Learning Methods to Create Ontology Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 803-819, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
selectional restriction, co-composition, clustering, ontology, machine learning, semantic web, knowledge representation, text mining |
26 | 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 |
26 | Brian Chess, David B. Lavo, F. Joel Ferguson, Tracy Larrabee |
Diagnosis of realistic bridging faults with single stuck-at information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 185-192, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
match requirement, match restriction, realistic bridging faults diagnosis, single stuck-at dictionaries, single stuck-at information, stuck-at diagnosis, stuck-at methods, fault diagnosis, logic testing, fault location, failure analysis, failure recovery |
26 | R. Govindarajan |
Exception Handlers in Functional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 826-834, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer |
24 | Chuan-Kang Ting, Cheng-Feng Ko, Chih-Hui Huang |
Selecting survivors in genetic algorithm using tabu search strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memetic Comput. ![In: Memetic Comput. 1(3), pp. 191-203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Survival selection, Genetic algorithm, Tabu search, Hybridization |
24 | Noam Zeilberger |
Refinement types and computational duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 15-26, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
24 | Nikhil R. Devanur, Sham M. Kakade |
The price of truthfulness for pay-per-click auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 99-106, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
regret, auction, online, truthful, multi-armed bandit, pay-per-click |
24 | Alexey L. Lastovetsky |
On Grid-based Matrix Partitioning for Heterogeneous Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), Hagenberg, Austria, July 5-8, 2007, pp. 383-390, 2007, IEEE Computer Society, 0-7695-2936-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Javier Garcés Eisele, Carolina Yolanda Castañeda Roldán, Mauricio Javier Osorio Galindo, Ma. del Pilar Gómez Gil |
Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 14th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2004), 16-18 February 2004, Veracruz, Mexico, pp. 264-271, 2004, IEEE Computer Society, 0-7695-2074-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ullrich Hustadt, Renate A. Schmidt |
Issues of Decidability for Description Logics in the Framework of Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 191-205, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | |
Temporal Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 3017, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Shahabi |
Efficient Continuous Nearest Neighbor Query in Spatial Networks Using Euclidean Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings, pp. 25-43, 2009, Springer, 978-3-642-02981-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hiroyuki Sekiguchi, Ken Komiya, Daisuke Kiga, Masayuki Yamamura |
A design and feasibility study of reactions comprising DNA molecular machine that walks autonomously by using a restriction enzyme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(3), pp. 303-315, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DNA walker, DNA walking machine, DNA molecular machine, Nanorobotics, Nanotechnology, DNA computing |
21 | Sander E. M. Jansen, Alexander Toet, Nico J. Delleman |
Effects of horizontal field-of-view restriction on manoeuvring performance through complex structured environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 5th Symposium on Applied Perception in Graphics and Visualization, APGV 2008, Los Angeles, California, USA, August 9-10, 2008, pp. 189, 2008, ACM, 978-1-59593-981-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Vipin Singh Mewar, Subhendu Aich, Shamik Sural |
Access Control Model for Web Services with Attribute Disclosure Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 524-531, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Hiroyuki Sekiguchi, Ken Komiya, Daisuke Kiga, Masayuki Yamamura |
A Realization of DNA Molecular Machine That Walks Autonomously by Using a Restriction Enzyme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers, pp. 54-65, 2007, Springer, 978-3-540-77961-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Hui-sheng Gao, Jing-xue Ran, Yi-qun Sun |
Application of Restriction Coefficient in Optimal Comparison of Triangle Fuzzy Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 3, pp. 523-527, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yasuhiro Yazaki, Takeshi Ikeda, Mamoru Minami, Yasushi Mae |
Fastest Guidance Control with Acceleration Restriction of PWS Mobile Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 1873-1878, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | María Adela Grando, Christopher D. Walton |
Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIA ![In: Cooperative Information Agents X, 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings, pp. 431-445, 2006, Springer, 3-540-38569-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Minh Nhut Nguyen, Daming Shi 0001, Chai Quek |
Self-Organizing Gaussian Fuzzy CMAC with Truth Value Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (2) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 185-190, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Viara Van Raad |
A New Vision Approach for Local Spectrum Features in Cervical Images via 2D Method of Geometric Restriction in Frequency Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVBIA ![In: Computer Vision for Biomedical Image Applications, First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005, Proceedings, pp. 125-134, 2005, Springer, 3-540-29411-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Howard Becker |
The restriction of a Borel equivalence relation to a sparse set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(4), pp. 335-347, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Olgierd Unold, Maciej Troc |
Restriction Enzyme Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I, pp. 686-693, 2003, Springer, 3-540-40210-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Robert E. Smith 0001, Claudio Bonacina |
Mating Restriction and Niching Pressure: Results from Agents and Implications for General EC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 1382-1393, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jung Yeon Hwang, Hyun-Jeong Kim, Dong Hoon Lee 0001, Jong In Lim 0001 |
Digital Signature Schemes with Restriction on Signing Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 324-335, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Amir Ben-Dor, Richard M. Karp, Benno Schwikowski, Ron Shamir |
The restriction scaffold problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Sixth Annual International Conference on Computational Biology, RECOMB 2002, Washington, DC, USA, April 18-21, 2002, pp. 58-66, 2002, ACM, 1-58113-498-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Luca Cardelli, Andrew D. Gordon 0001 |
Logical Properties of Name Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 46-60, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings, pp. 467-476, 2000, Springer, 3-540-67787-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Stephen J. Hegner |
Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 174-183, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Philip R. Van Loocke |
Polygon-Based Fractals from Compressed Iterated Function Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 30(2), pp. 34-44, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fractal texture, sth-order restriction, rth-level symmetry, computer graphics, polygon, graphics and multimedia, iterated function systems |
19 | Tobit Kollenberg, Alexander Neumann 0001, Dorothe Schneider, Tessa-Karina Tews, Thomas Hermann 0001, Helge J. Ritter, Angelika Dierker, Hendrik Koesling |
Visual search in the (un)real world: how head-mounted displays affect eye movements, head movements and target detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 121-124, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
augmented reality, eye movements, visual search, head-mounted display, field of view, restriction, head movements |
19 | Siriphong Lawphongpanich |
Simplicial Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3575-3579, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Carathéodory theorem, first order Taylor series expansion, Frank-Wolfe algorithm, Inner linearization, Master problem, Node-arc incidence matrix, Nonlinear dynamic network flow problem, Nonlinear multicommodity flow problems, Nonlinear single commodity network flow problem, Polyhedral set, Positive definite matrix, Pseudoconvexity, P-simplex, regularized Frank-Wolfe algorithm, Regularized subproblem, Restricted simplicial decomposition, Simplicial decomposition, Subproblem, Superlinear convergent rate, Traffic assignment problem, Side constraints, Linear program, Rank, Globally optimal, Convex hull, Nonlinear programming, Nonlinear program, Dimension, Column generation, Shortest path problem, Polyhedron, Restriction, Simplex algorithm, Extreme point, Dantzig-Wolfe decomposition, Convex combinations |
19 | Valentina De Simone, Marina Marino, Gerardo Toraldo |
Isotonic Regression Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1774-1777, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Order restriction, Optimization, Algorithms |
19 | Michael Polacek, Karl F. Doerner, Richard F. Hartl, Vittorio Maniezzo |
A variable neighborhood search for the capacitated arc routing problem with intermediate facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 14(5), pp. 405-423, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Capacitated arc routing problem, Intermediate facilities, Tour length restriction, Variable neighborhood search |
19 | Kristine H. Atkinson |
Toward a more rational patent search paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaIR ![In: Proceedings of the 1st ACM workshop on Patent Information Retrieval, PaIR 2008, Napa Valley, California, USA, October 30, 2008, pp. 37-40, 2008, ACM, 978-1-60558-256-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
collateral serial search, patent semantics, query structure, search type, restriction |
19 | Hui Zhao, Zhiyi Fang, Peng Xu, Lianyu Zhao, Jin Liu, Tianyang Wang |
An Improved Role-Based Workflow Access Control Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 551-556, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
authorization restriction, Access control, workflow, transaction, task |
19 | Dongliang Guan, Jiangtao Wang 0009, Hui Chen, Jun Dong |
Some Connection Problems with BitTorrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 273-278, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Connection problem, One IP restriction, BitTorrent |
19 | Jatinder Singh, Luis Vargas, Jean Bacon, Ken Moody |
Policy-Based Information Sharing in Publish/Subscribe Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 137-144, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information control, data policy, restriction policy, transformations, publish/subscribe, data sharing |
19 | Viktor Levandovskyy |
Intersection of ideals with non-commutative subalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 212-219, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases |
19 | Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig |
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 18(3-4), pp. 299-326, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion |
19 | Andreas Matheus |
Declaration and enforcement of fine-grained access restrictions for a service-based geospatial data infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 10th ACM Symposium on Access Control Models and Technologies, SACMAT 2005, Stockholm, Sweden, June 1-3, 2005, Proceedings, pp. 21-28, 2005, ACM, 1-59593-045-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-based access restriction, spatial access control, XACML, geospatial, ACM proceedings |
19 | Emanuele Viola |
On Constructing Parallel Pseudorandom Generators from One-Way Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 11-15 June 2005, San Jose, CA, USA, pp. 183-197, 2005, IEEE Computer Society, 0-7695-2364-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Pseudorandom generator construction, one-way function, black-box, restriction, constant-depth circuit, noise sensitivity, hardness amplification |
19 | Eduardo Sany Laber, Ruy Luiz Milidiú, Artur Alves Pessoa |
Practical Constructions of L-restricted Alphabetic Prefix Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE/CRIWG ![In: Sixth International Symposium on String Processing and Information Retrieval and Fifth International Workshop on Groupware, SPIRE/CRIWG 1999, Cancun, Mexico, September 21-24, 1999, pp. 115-119, 1999, IEEE Computer Society, 0-7695-0268-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Alphabetic Prefix Codes, Length Restriction, Data Compression |
19 | Wei Sun 0002, Clement T. Yu |
Semantic Query Optimization for Tree and Chain Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 136-151, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
chain queries, knowledge-based query optimization, semantically equivalent transformations, unnecessary joins, redundant beneficial/nonbeneficial selection operations, acyclic queries, closure chain queries, equi-join attributes, restriction closure computation, computational complexity, query processing, knowledge based systems, NP complete, time complexity, database theory, trees (mathematics), semantic query optimization, query graphs, tree queries |
19 | Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(11), pp. 1343-1360, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph |
19 | Johan Håstad |
The shrinkage exponent is 2 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 114-123, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
shrinkage exponent, random restriction, explicit function, NP |
18 | Yiming Liu, David Grace, Paul D. Mitchell |
Exploiting platform diversity for GoS improvement for users with different High Altitude Platform availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(1), pp. 196-203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hans-Juergen Boehm, Mike Spertus |
Garbage collection in the next C++ standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 30-38, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, garbage collection |
18 | Aaron Archer, Robert Kleinberg |
Truthful germs are contagious: a local to global characterization of truthfulness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 9th ACM Conference on Electronic Commerce (EC-2008), Chicago, IL, USA, June 8-12, 2008, pp. 21-30, 2008, ACM, 978-1-60558-169-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
vortex-free, weak monotonicity, mechanism design, truthful |
18 | Francis J. Narcowich, Xingping Sun, Joseph D. Ward |
Approximation power of RBFs and their associated SBFs: a connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 27(1), pp. 107-124, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics subject classifications (2000) 41A2454, 41A63, 41A05, 42C10 |
18 | Raul Llinares, Jorge Igual |
Identification of compounds in ice analogs with NMF algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1548-1553, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Julia Chuzhoy, Venkatesan Guruswami, Sanjeev Khanna, Kunal Talwar |
Hardness of routing with congestion in directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 165-178, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
all-or-nothing flow, hardness of approximation, multicommodity flow, edge-disjoint paths, integrality gap, congestion minimization |
18 | Antonio Neme, Víctor Mireles |
Self-organizing Maps with Refractory Period. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II, pp. 369-378, 2007, Springer, 978-3-540-74693-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Geeta Chaudhry, Thomas H. Cormen |
Slabpose Columnsort: A New Oblivious Algorithm for Out-of-Core Sorting on Distributed-Memory Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 45(3), pp. 483-508, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kwok Ping Chan, Tsong Yueh Chen, Dave Towey |
Forgetting Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 485-494, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Masatomo Hashimoto |
A Method of Safety Analysis for Runtime Code Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 60-74, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Masayuki Tanaka 0001, Masatoshi Okutomi |
Theoretical Analysis on Reconstruction-Based Super-Resolution for an Arbitrary PSF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 947-954, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | John H. Reif |
The design of autonomous DNA nano-mechanical devices: Walking and rolling DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 2(4), pp. 439-461, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
molecular, motor nanomechanical device, nanostructure, DNA |
18 | Gregor Gößler, Joseph Sifakis |
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 420-433, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2806 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|