Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | Yung-Ching Hsieh, Chi-Yi Hwang, Youn-Long Lin, Yu-Chin Hsu |
LiB: a CMOS cell compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(8), pp. 994-1005, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
85 | Rahul Kumar, C. P. Ravikumar |
Leakage Power Estimation for Deep Submicron Circuits in an ASIC Design Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 45-50, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Power Estimation, Leakage Power, Linear Regression, Deep Submicron |
75 | Yung-Ching Hsieh, Chi-Yi Hwang, Youn-Long Lin, Yu-Chin Hsu |
LiB: A Cell Layout Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 474-479, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
68 | Duckjin Chai, Long Jin 0005, Buhyun Hwang, Keun Ho Ryu |
Frequent Pattern Mining using Bipartite Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 182-186, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Phillip M. Dickens, Jeremy Logan |
Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 2009, Garching, Germany, June 11-13, 2009, pp. 31-38, 2009, ACM, 978-1-60558-587-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
romio, parallel i/o, lustre, collective i/o |
58 | Maurício Paletta, Pilar Herrero |
EP-MAS.Lib: A MAS-Based Evolutionary Program Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 9-17, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-Agent System, JADE, Evolutionary Program, Combinatorial Optimization Problem |
58 | Filip Maric, Predrag Janicic |
argo-lib: A Generic Platform for Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 213-217, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Ian Glendinning, Bernhard Ömer |
Parallelization of the QC-Lib Quantum Computer Simulator Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 461-468, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
58 | Saïd Abdeddaïm, Burkhard Morgenstern |
Speeding Up the DIALIGN Multiple Alignment Program by Using the 'Greedy Alignment of BIOlogical Sequences LIBrary' (GABIOS-LIB). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOBIM ![In: Computational Biology, First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, Montpellier, France, May 3-5, 2000, Selected Papers, pp. 1-11, 2000, Springer, 3-540-42242-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Karl R. P. H. Leung |
Extending Statecharts with ad lib and multi-thread features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 330-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram |
51 | Haizhi Xu, Steve J. Chapin |
Improving address space randomization with a dynamic offset randomization technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 384-391, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
address space randomization, code islands, derandomization attacks, intrusion mitigation, randomization, denial-of-service attacks |
43 | Ming Zhang, Li-Biao Lib, Jing-Sheng Ding |
Method for aggregating induced correlated interval grey linguistic variables and their application to multiple attribute decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 27(3), pp. 1169-1177, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Lib Gibson |
A brief history of the APL community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 6(4), pp. 6-7, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
43 | Lib Gibson |
Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 5(1/3), pp. 40-54, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
43 | Lib Gibson |
New problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 4(3), pp. 23-25, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
43 | Lib Gibson |
Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 4(4), pp. 26-34, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
43 | Lib Gibson |
The APL project at shape XXXIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 4(1), pp. 13-14, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
38 | Taemin Kim Park |
D-Lib Magazine: Its First 13 Years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 16(1/2), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Bonita Wilson, Allison L. Powell |
A Tenth Anniversary for D-Lib Magazine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 11(7/8), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Larry Mongin, Yueyu Fu, Javed Mostafa |
Open Archives Data Service Prototype and Automated Subject Indexing Using D-Lib® Archive Content As a Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 9(12), 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Junliang Zhang, Javed Mostafa, Himansu Tripathy |
Information Retrieval by Semantic Analysis and Visualization of the Concept Space of D-Lib Magazine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 8(10), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Rike Brecht, Torsten Brix, Ulf Döring, Veit Henkel, Heidi Krömker, Michael Reeßing |
Digital Mechanism and Gear Library - Multimedia Collection of Text, Pictures and Physical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 13th European Conference, ECDL 2009, Corfu, Greece, September 27 - October 2, 2009. Proceedings, pp. 489-490, 2009, Springer, 978-3-642-04345-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interactive collection, digital engineering library, Multimedia |
34 | Scott Fowler, Sherali Zeadally |
Fast Handover over Micro-MPLS-Based Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 26-29 June 2006, Cagliari, Sardinia, Italy, pp. 181-186, 2006, IEEE Computer Society, 0-7695-2588-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Avinash Raj, Vihari Komaragiri |
RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 677-686, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile phone UI design, lib, architecture, patterns, design process |
23 | Michael Malmros Sørensen, Adam N. Letchford |
CP-Lib: Benchmark Instances of the Clique Partitioning Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 16(1), pp. 93-111, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Dor Salomon, Itamar Levi |
MaskSIMD-lib: on the performance gap of a generic C optimized assembly and wide vector extensions for masked software with an Ascon-p test case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptogr. Eng. ![In: J. Cryptogr. Eng. 13(3), pp. 325-342, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Cheng Chi, Xin Zhang 0019, Jiahui Liu, Yulong Sun, Zihao Zhang, Xingqun Zhan |
GICI-LIB: A GNSS/INS/Camera Integrated Navigation Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(12), pp. 7970-7977, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Cheng Chi, Xin Zhang 0019, Jiahui Liu, Yulong Sun, Zihao Zhang, Xingqun Zhan |
GICI-LIB: A GNSS/INS/Camera Integrated Navigation Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13268, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini |
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 230, pp. 102996, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Abigail Evans, Zihan Wang, Jieren Liu, Mingming Zheng |
SIDE-lib: A Library for Detecting Symptoms of Python Programming Misconceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (1) ![In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July 7-12, 2023, pp. 159-165, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull |
Verified Verifying: SMT-LIB for Strings in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 206-217, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Martijn Hoeijmakers, Karim El Houari, Wenfeng Ye, Pierre L'Eplattenier, Attila Nagy, Dave Benson, Michel Rochette |
pyheart-lib: A Python Library for LS-DYNA Multi-physics Heart Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart - 12th International Conference, FIMH 2023, Lyon, France, June 19-22, 2023, Proceedings, pp. 565-574, 2023, Springer, 978-3-031-35301-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Eugene Kharitonov, Jade Copet, Kushal Lakhotia, Tu Anh Nguyen, Paden Tomasello, Ann Lee 0001, Ali Elkahky, Wei-Ning Hsu, Abdelrahman Mohamed, Emmanuel Dupoux, Yossi Adi |
textless-lib: a Library for Textless Spoken Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.07359, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | |
Lib-SibGMU - A University Library Circulation Dataset for Recommender Systems Developmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12356, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Michael L. Nelson, Herbert Van de Sompel |
D-lib magazine pioneered web-based scholarly communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: JCDL '22: The ACM/IEEE Joint Conference on Digital Libraries in 2022, Cologne, Germany, June 20 - 24, 2022, pp. 2, 2022, ACM, 978-1-4503-9345-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Rezende Zagatti, Paulo Augusto de Lima Medeiros, Esther da Cunha Soares, Lucas Nildaimon dos Santos Silva, Carlos Ramisch, Livy Real |
mwetoolkit-lib: Adaptation of the mwetoolkit as a Python Library and an Application to MWE-based Document Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWE@LREC2022 ![In: Proceedings of the 18th Workshop on Multiword Expressions, MWE@LREC2022, Marseille, France, June 20-25, 2022, pp. 112-117, 2022, European Language Resources Association, 979-10-95546-90-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Alessandro Cimatti, Alberto Griggio, Stefano Tonetta |
The VMT-LIB Language and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022., pp. 80-89, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Zafer Esen, Philipp Rümmer |
An SMT-LIB Theory of Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022., pp. 38-53, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Xinbiao Gan, Wen Tan |
MT-lib: A Topology-aware Message Transfer Library for Graph500 on Supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.15024, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Sergio Rojas Galeano |
Using BERT Encoding to Tackle the Mad-lib Attack in SMS Spam Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06400, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Luis Pineda, Brandon Amos, Amy Zhang 0001, Nathan O. Lambert, Roberto Calandra |
MBRL-Lib: A Modular Library for Model-based Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.10159, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Alessandro Cimatti, Alberto Griggio, Stefano Tonetta |
The VMT-LIB Language and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.12821, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Ga-Eun Jung, JiKook Baek, Jianyong Liu, Van Quan Dao, Minh-Chau Dinh, Chang-Soon Kim, Myung-Kwan Lee, JungHyo Bae |
The Precision SOC Estimation Method of LiB for EV Applications Using ANN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2021, Jeju Island, Korea, Republic of, October 20-22, 2021, pp. 1052-1054, 2021, IEEE, 978-1-6654-2383-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Malte Mues, Falk Howar |
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, pp. 448-452, 2021, Springer, 978-3-030-72012-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Guillaume Bury |
Dolmen: A Validator for SMT-LIB and Much More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021., pp. 32-39, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001 |
Characteristic Subsets of SMT-LIB Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021., pp. 53-63, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | António Ramires, Gilberto Bernardes, Matthew E. P. Davies, Xavier Serra |
TIV.lib: an open-source library for the tonal description of musical audio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.11529, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Michael L. Nelson, Herbert Van de Sompel |
A 25 Year Retrospective on D-Lib Magazine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.11680, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Het Shah, Avishree Khare, Neelay Shah, Khizir Siddiqui |
KD-Lib: A PyTorch library for Knowledge Distillation, Pruning and Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14691, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Gidon Ernst |
Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.05023, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Austin Kothig, John Edison Muñoz, Hamza Mahdi, Alexander Mois Aroyo, Kerstin Dautenhahn |
HRI Physio Lib: A Software Framework to Support the Integration of Physiological Adaptation in HRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Social Robotics - 12th International Conference, ICSR 2020, Golden, CO, USA, November 14-18, 2020, Proceedings, pp. 36-47, 2020, Springer, 978-3-030-62055-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Lyndemberg Batista Nery, Francisco Paulo de Freitas Neto, Diogo Dantas Moreira |
LiB: an undergraduate thesis digital library based on full-text search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: EATIS 2020: 10th Euro American Conference on Telematics and Information Systems, Aveiro, Portugal, November 25-27, 2020, pp. 12:1-12:8, 2020, ACM, 978-1-4503-7711-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Zafer Esen, Philipp Rümmer |
Abstract: Towards an SMT-LIB Theory of Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020., pp. 60, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Oliver Lum, Bruce L. Golden, Edward A. Wasil |
OAR Lib: an open source arc routing library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 11(3), pp. 587-629, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nir Nissim, Aviad Cohen 0002, Jian Wu 0006, Andrea Lanzi, Lior Rokach, Yuval Elovici, C. Lee Giles |
Sec-Lib: Protecting Scholarly Digital Libraries From Infected Papers Using Active Machine Learning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 110050-110073, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen |
ADD-Lib: Decision Diagrams in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.11308, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Ali Abbassi, Nancy A. Day, Derek Rayside |
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.05881, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Steven Kutsch |
InfOCF-Lib: A Java Library for OCF-based Conditional Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DKB/KIK@KI ![In: Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019., pp. 47-58, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Sebastian Krings, Michael Leuschel |
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 265-283, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Liudmyla Omelchuk, Olena Shyshatska |
Extending the SMT-Lib Standard with Theory of Nominative Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 522-533, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Liudmyla Omelchuk, Olena Shyshatska |
SMT-LIB Theory of Nominative Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI (Revised Selected Papers) ![In: Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers, pp. 89-110, 2019, Springer, 978-3-030-39458-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Michael D. Shah |
Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019, Cleveland, OH, USA, September 29 - October 4, 2019, pp. 379-381, 2019, IEEE, 978-1-7281-3094-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Ali Marjanian, Soodabeh Soleymani |
On-line dynamic voltage stability status prediction based on DLM and LIB boundaries using phasor measurement unit information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 34(4), pp. 2651-2666, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | James H. Davenport, Matthew England 0001, Roberto Sebastiani, Patrick Trentin |
OpenMath and SMT-LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.01592, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Ashutosh Agrahari, Chadra Prakash Chaudhary, Syam Narayan Singh |
Domain Analysis of D-Lib Magazine: A Bibliometric Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Webology ![In: Webology 15(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Daichi Ando |
Effects of the Difference in Accented Beat Between Jazz and Classical Music Styles Through Sight-Reading of a Jazz Ad-Lib Solo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers, pp. 461-467, 2018, Springer, 978-3-030-31604-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Fangfan Li, Abbas Razaghpanah, Arash Molavi Kakhki, Arian Akhavan Niaki, David R. Choffnes, Phillipa Gill, Alan Mislove |
lib•erate, (n): a library for exposing (traffic-classification) rules and avoiding them efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 2017 Internet Measurement Conference, IMC 2017, London, United Kingdom, November 1-3, 2017, pp. 128-141, 2017, ACM, 978-1-4503-5118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Stephen Forrest |
Integration of SMT-LIB Support into Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC²@ISSAC ![In: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Edgar Mixcoha, Roberto Rosende, Rebeca García-Fandiño, Ángel Piñeiro |
Cyclo-lib: a database of computational molecular dynamics simulations of cyclodextrins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 32(21), pp. 3371-3373, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Tjark Weber |
Scrambling and Descrambling SMT-LIB Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016., pp. 31-40, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Nancy A. Day, Amirhossein Vakili |
Representing hierarchical state machine models in SMT-LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MiSE@ICSE ![In: Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016, pp. 67-73, 2016, ACM, 978-1-4503-4164-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Sarah Potvin, Élika Ortega, Isabel Galina, Alex Gil, Daniel Paul O'Donnell, Patrick Williams, Zoe Borovsky, Roxanne Shirazi, Zach Coble, Glen Worthey |
Translation Hack-a-thon!: Applying the Translation Toolkit to a Global dh+lib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 11th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2016, Krakow, Poland, July 11-16, 2016, Conference Abstracts, pp. 941-943, 2016, Alliance of Digital Humanities Organizations (ADHO), 978-83-942760-3-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Bruce Kingma, Kathleen McClure |
Lib-Value: Values, Outcomes, and Return on Investment of Academic Libraries, Phase III: ROI of the Syracuse University Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 76(1), pp. 63-80, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | David R. Cok, Aaron Stump, Tjark Weber |
The 2013 Evaluation of SMT-COMP and SMT-LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 55(1), pp. 61-90, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Dick Heiser |
An Advanced Book for Beginners - How Computer Lib/Dream Machines Shaped Our Perspective on Cybercrud, Interactivity, Complex Texts and Computer Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intertwingled - The Work and Influence of Ted Nelson ![In: Intertwingled - The Work and Influence of Ted Nelson, pp. 51-56, 2015, Springer, 978-3-319-16924-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jamie Bullock, Ali Momeni |
Ml.lib: robust, cross-platform, open-source machine learning for max and pure data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 15th International Conference on New Interfaces for Musical Expression, NIME 2015, Baton Rouge, Louisiana, USA, May 31 - June 3, 2015., pp. 265-270, 2015, nime.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | María Granados Buey, Ángel Luís Garrido, Sandra Escudero, Raquel Trillo, Sergio Ilarri, Eduardo Mena |
SQX-Lib: Developing a Semantic Query Expansion System in a Media Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval - 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014. Proceedings, pp. 780-783, 2014, Springer, 978-3-319-06027-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Xia Wang, Hongxin Cao |
Study on building library personalized subject service platform in big data environment - Lib 2.0 solutions based on Hadoop framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIS ![In: IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, CCIS 2014, Shenzhen, China, November 27-29, 2014, pp. 146-149, 2014, IEEE, 978-1-4799-4720-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Richard Bonichon, David Déharbe, Cláudia Tavares |
Extending SMT-LIB v2 with λ-Terms and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014., pp. 53-62, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Jaesik Chung |
A proposal for the IEEE EV LiB cell safety standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCVE ![In: International Conference on Connected Vehicles and Expo, ICCVE 2012, Las Vegas, NV, USA, December 2-6, 2013, pp. 437-442, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Isabel Bermejo, Eva García-Llorente, Philippe Gimenez |
monomialideal.lib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 46(3/4), pp. 160-161, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Jianping Zhu, Zhengsu Tao, Chunfeng Lv |
Performance Evaluation of IEEE 802.15.4 CSMA/CA Scheme Adopting a Modified LIB Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 65(1), pp. 25-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Oliver Hirsch, Heidemarie Keller, Tanja Krones, Norbert Donner-Banzhoff |
arriba-lib: evaluation of an electronic library of decision aids in primary care physicians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 12, pp. 48, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes |
SMT-LIB Sequences and Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 77-87, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Eranga Ukwatta, Jing Yuan 0001, Martin Rajchl, Aaron Fenster |
Efficient Global Optimization Based 3D Carotid AB-LIB MRI Segmentation by Simultaneously Evolving Coupled Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (3) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012 - 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III, pp. 377-384, 2012, Springer, 978-3-642-33453-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Amirhossein Vakili, Nancy A. Day |
Avestan: a declarative modeling language based on SMT-LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MiSE ![In: Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012, pp. 36-42, 2012, IEEE Computer Society, 978-1-4673-1757-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Chih-Hao Chen, Nen-Fu Huang |
LIB: A Last-In-Backup Based Fast Recovery Scheme for Ring-Based Industrial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 15(6), pp. 680-682, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli |
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 3, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Peng Liu 0016, Bingjie Xia, Chunchang Xiang, Xiaohang Wang 0001, Weidong Wang, Qingdong Yao |
A networks-on-chip architecture design space exploration - The LIB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 35(6), pp. 817-836, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Giampaolo Fresi Roglia, Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi |
Surgically Returning to Randomized lib(c). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Twenty-Fifth Annual Computer Security Applications Conference, ACSAC 2009, Honolulu, Hawaii, USA, 7-11 December 2009, pp. 60-69, 2009, IEEE Computer Society, 978-0-7695-3919-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Yves Pochet, Mathieu Van Vyve |
LS-LIB: A Library of Tools for Solving Production Planning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bonn Workshop of Combinatorial Optimization ![In: Research Trends in Combinatorial Optimization, Bonn Workshop on Combinatorial Optimization, November 3-7, 2008, Bonn, Germany, pp. 317-346, 2008, Springer, 978-3-540-76795-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Thomas King, Thomas Butter, Thomas Haenselmann |
Loc{lib, trace, eva, ana}: research tools for 802.11-based positioning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Second ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2007, Montréal, Québec, Canada, September 10, 2007, pp. 67-74, 2007, ACM, 978-1-59593-738-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
digital compass, GPS, 802.11, positioning systems, tracking systems, location systems |
23 | Rike Brecht, Bastian Büchl, Heidi Krömker |
myDMG-Lib - personalisierter Informationsraum einer digitalen Bibliothek. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC ![In: Mensch & Computer 2007: Interaktion im Plural - Konferenz für interaktive und kooperative Medien, Bauhaus-Universität Weimar, Weimar, Germany, September 2-5, 2007, pp. 291-294, 2007, Oldenbourg Verlag, 978-3-486-58496-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Oliver Larkin |
Int.Lib - a Graphical Preset interpolator for Max MSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2007 International Computer Music Conference, ICMC 2007, Copenhagen, Denmark, August 27-31, 2007, 2007, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Wen-Tsan Hsieh, Chi-Chia Yu, Chien-Nan Jimmy Liu, Yi-Fang Chiu |
A Scalable Power Modeling Approach for Embedded Memory Using LIB Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings, pp. 543-552, 2006, Springer, 3-540-39094-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Luke Finlay, Prabhu Manyem |
Online LIB problems: Heuristics for Bin Covering and lower bounds for Bin Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Oper. Res. ![In: RAIRO Oper. Res. 39(3), pp. 163-183, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Frank McCown, Sheffan Chan, Michael L. Nelson, Johan Bollen |
The Availability and Persistence of Web References in D-Lib Magazine ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0511077, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Jing Li 0019, Qinhuo Liu, Qiang Liu 0009 |
A spectral-lib based algorithm to pick up pure crop pixels from hyperspectral image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2004 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2004, Anchorage, Alaska, USA, 20-24 September 2004, pp. 1273-1275, 2004, IEEE, 0-7803-8742-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Prabhu Manyem, Rhonda L. Salt, Marc Simon Visser |
Approximation Lower Bounds in Online LIB Bin Packing and Covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 8(4), pp. 663-674, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ron Shigeta, Melissa S. Cline, Guoying Liu, Michael A. Siani-Rose |
GPCR-GRAPA-LIB-a refined library of hidden Markov Models for annotating GPCRs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 19(5), pp. 667-668, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|