|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 146 occurrences of 112 keywords
|
|
|
Results
Found 168 publication records. Showing 168 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
182 | Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo |
Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(8), pp. 1097-1110, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
probabilistic temporal consistency, quality of service, Real-time database, transactions scheduling |
182 | Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo |
Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 276-285, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
probabilistic temporal consistency, Quality of Service (QoS), real-time database |
107 | Yao-Chuan Tsai |
The Theory of SML Schema-Directed Query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 335-362, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
relational database, modeling language, database management, model management, structured modeling, SML, universal relation |
96 | Iman Poernomo, John N. Crossley, Martin Wirsing |
Programs, Proofs and Parametrized Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 280-304, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Parametrized specifications, CASL, SML, Curry-Howard isomorphism |
95 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 215-226, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
applications of declarative programming, integration of paradigms, programming environments, functional programming |
70 | Philipp Rohde |
Moving in a Crumbling Network: The Balanced Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 310-324, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model checking, modal logics, dynamic logics |
70 | Christof Löding, Philipp Rohde |
Model Checking and Satisfiability for Sabotage Modal Logic. ![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. 302-313, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Ricardo Rivaldo, Guilherme Germoglio, Flavio Santos, Yuan Chen 0001, Dejan S. Milojicic, Robert Adams |
SML Model-based Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2007. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, Germany, 21-25 May 2007, pp. 761-764, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Richard A. Kilgore |
Silk and Taylor ED: open-source SML and silk for Java-based, object-oriented simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 33nd conference on Winter simulation, WSC 2001, Arlington, VA, USA, December 9-12, 2001, pp. 262-268, 2001, WSC, 0-7803-7309-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
65 | Viktor Geller, Christelle Scharff |
Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 406, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
J#, Java, C#, NET, programming paradigms, SML |
64 | Richard A. Kilgore |
Object-oriented simulation with SML and Silk in Java and .Net: object-oriented simulation with SML and silk in .Net and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 218-224, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Rajaraman Kanagasabai, Ahsan Morshed, Hemant Purohit (eds.) |
Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Heng Chen, Yongjuan Zhang, Chunhong Lin, Liwen Zhang, Tao Chen |
Construction of Viral Hepatitis Bilingual Bibliographic Database with Protein Text Mining and Information Integration Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 57-65, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Abdullah Semran Alharbi, Yuefeng Li, Yue Xu 0001 |
Enhancing Topical Word Semantic for Relevance Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 27-33, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Andreea Salinca |
Convolutional Neural Networks for Sentiment Classification on Business Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 45-49, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Yang Gao 0016, Linjing Wei, Heyan Huang, Qian Liu 0012 |
Topical Sentence Embedding for Query Focused Document Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 21-26, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Yang Shao |
A Simple Neural Network For Evaluating Semantic Textual Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 15-20, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Luis Palacios Medinacelli, Yue Ma 0009, Gaëlle Lortal, Claire Laudy, Chantal Reynaud |
Data Driven Concept Refinement to Support Avionics Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 39-44, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Ritesh Ratti, Himanshu Kapoor, Shikhar Sharma, Anshul Solanki, Pankaj Sachdeva |
Semantic Extraction of Named Entities From Bank Wire Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 34-38, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Evan Dennison S. Livelo, Andrea Nicole O. Ver, Jedrick L. Chua, John Paul S. Yao, Charibeth K. Cheng |
A Hybrid Agent for Automatically Determining and Extracting the 5Ws of Filipino News Articles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 50-56, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Fenglong Ma, Radha Chitta, Saurabh Kataria, Jing Zhou, Palghat Ramesh, Tong Sun, Jing Gao 0004 |
Long-Term Memory Networks for Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SML@IJCAI ![In: Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 20, 2017., pp. 7-14, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
56 | Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun |
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 455-460, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Wolfgang Gehrke, Carla Limongelli |
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 98-111, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Lal George, Florent Guillame, John H. Reppy |
A Portable and Optimizing Back End for the SML/NJ Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 83-97, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Derek Dreyer, Matthias Blume |
Principal Type Schemes for Modular Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 441-457, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Douglas Turnbull, Luke Barrington, David A. Torres, Gert R. G. Lanckriet |
Towards musical query-by-semantic-description using the CAL500 data set. ![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. 439-446, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
content-based music information retrieval, query-by-semantic-description, supervised multi-class classification |
42 | Chin-Feng Fan, Swu Yih |
Safety Markup Language: Concept and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 177-186, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | John H. Reppy, Jon G. Riecke |
Simple Objects for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 171-180, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
object-oriented programming, functional programming, standard ML, programming languages design |
42 | Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo |
A Facile Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 278-298, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
42 | Edoardo Biagioni |
A Structured TCP in Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31 - September 2, 1994, pp. 36-45, 1994, ACM, 0-89791-682-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
ML |
42 | Myra Van Inwegen, Elsa L. Gunter |
HOL-ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 61-74, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Ludwik Kuzniarz, Maciej Piasecki |
An abstract model for temporal composition of multimedia data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 448-455, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
temporal composition, composed data, synchronisation points, technical standard, MME, RIFF structures, data model, multimedia systems, multimedia stream, multimedia computing, multimedia data, abstract model, SML |
40 | Arthur M. Geoffrion, Sergio Maturana |
Generating optimization-based decision support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 439-450, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimization-based decision support systems, programming effort, completely specified syntax, total structure/data independence, surface/deep structure distinction, software engineering, semantics, graphical user interfaces, GUI, graphical user interfaces, software tools, software tools, decision support systems, optimisation, database management systems, DBMS, business data processing, SML |
39 | Robert Adams, Ricardo Rivaldo, Guilherme Germoglio, Flavio Santos, Yuan Chen 0001, Dejan S. Milojicic |
Improving distributed service management using Service Modeling Language (SML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 863-866, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo |
Shrinking Reductions in SML.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 142-159, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Nick Benton, Andrew Kennedy |
Interlanguage Working Without Tears: Blending SML with Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 126-137, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Elsa L. Gunter, Leonid Libkin |
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 641-650, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Zhi-Sheng Chen, Jyh-Shing Roger Jang |
On the Use of Anti-Word Models for Audio Music Annotation and Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(8), pp. 1547-1556, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Matthias Blume, Mike Rainey, John H. Reppy |
Calling variadic functions from a strongly-typed language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 47-58, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compilers, interpreters, foreign-function interfaces |
28 | Ketan Rajawat, Ajit Kumar Chaturvedi |
Non-Data Aided Symbol Timing Estimation in MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 5455-5461, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dong In Kim |
Selective maximum-likelihood symbol-by-symbol detection for multidimensional multicode WCDMA with precoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(4), pp. 591-595, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan L. Shapiro |
Diversity Loss in General Estimation of Distribution Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings, pp. 92-101, 2006, Springer, 3-540-38990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Stephen Weeks |
Whole-program compilation in MLton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 1, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Selective memoization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 14-25, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance, selective, memoization, programmer controlled |
28 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 98-108, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
28 | Daniel Ranc, Jacques Landru, Anas Kabbaj |
An Integrated and Federative Approach to QoS Management in IP Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERWORKING ![In: Next Generation Networks, Networks and Services for the Information Society, 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000, Proceedings, pp. 196-208, 2000, Springer, 3-540-41140-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Zhong Shao |
Transparent Modules with Fully Syntactic Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 220-232, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Olin Shivers, James W. Clark, Roland McGrath |
Atomic Heap Transactions and Fine-grain Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 48-59, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper 0001, Peter Lee 0001 |
TIL: a type-directed, optimizing compiler for ML (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 554-567, 1996, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Savi Maharaj, Elsa L. Gunter |
Studying the ML Module System in Hol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 346-361, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Hanne Riis Nielson, Flemming Nielson |
Higher-Order Concurrent Programs with Finite Communication Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 84-97, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Xavier Leroy |
Manifest Types, Modules, and Separate Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 109-122, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yu Chen Zhou, Xin Peng Liu, Xi Ning Wang, Liang Xue, Chen Tian 0002, Xiao Xing Liang |
Context Model Based SOA Policy Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 608-615, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SOA, Policy, Governance, SML |
26 | Xiaoqing Yan, Weiming Wang, Fenggen Jia |
Design and Implement of IPsec VPN Service Mapping Layer Based on the ForCES Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 669-672, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LFB, SPD, hash, IPsec, ForCES, SML, SAD |
26 | Steve Sims, Daniel C. DuVarney |
Experience report: the reactis validation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 137-140, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reactis, functional programming, standard ML, SML |
26 | Bo Wang, Cornelis Pronk |
Design and implementation of a GUI for the TLC model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(12), pp. 38-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+ |
26 | Xavier Leroy, François Pessaux |
Type-based analysis of uncaught exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(2), pp. 340-377, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml |
25 | Lara Kallab, Elio Mansour, Richard Chbeir |
SML: Semantic Machine Learning Model Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2023 - 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings, pp. 896-911, 2023, Springer, 978-981-99-7253-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Katsuhiro Ueno |
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Han-Yu Lin, Tung-Tso Tsai, Pei-Yih Ting, Po-Cheng Chan |
CL-SML: Secure Certificateless Signature with Message Linkages for IoT-Based Fog Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDSIC ![In: Proceedings of the 5th International Conference on Big-data Service and Intelligent Computation, BDSIC 2023, Singapore, October 20-22, 2023, pp. 9-15, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Wenlong Deng, Lang Lang, Zhen Liu, Bin Liu |
SML: Enhance the Network Smoothness with Skip Meta Logit for CTR Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10725, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas |
SML: Semantic meta-learning for few-shot semantic segmentation☆. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 147, pp. 93-99, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Javier Huertas-Tato, Alejandro Martín, David Camacho |
SML: a new Semantic Embedding Alignment Transformer for efficient cross-lingual Natural Language Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.09635, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Laila El-Beheiry, Giselle Reis, Ammar Karkour |
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021., pp. 71-87, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas |
SML: Semantic Meta-learning for Few-shot Semantic Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06680, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Xinmeng Li, James Van Deventer, Soha Hassoun |
ASAP-SML: An Antibody Sequence Analysis Pipeline Using Statistical Testing and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.03811, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Xinmeng Li, James Van Deventer, Soha Hassoun |
ASAP-SML: An antibody sequence analysis pipeline using statistical testing and machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 16(4), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
RTMLton: An SML Runtime for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, pp. 113-130, 2020, Springer, 978-3-030-39196-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Xiaofeng Bai, Huajun Song, Changbo Xiang |
Parallel Fast DOA Estimation Algorithm Based on SML and Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing - 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers, pp. 159-169, 2020, Springer, 978-3-030-79477-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Westphal, Lorenz Bühmann, Simon Bin, Hajira Jabeen, Jens Lehmann 0001 |
SML-Bench - A benchmarking framework for structured machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web ![In: Semantic Web 10(2), pp. 231-245, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael W. Sobolewski |
Service-oriented Mogramming with SML and SORCER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOSER ![In: Proceedings of the 9th International Conference on Cloud Computing and Services Science, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019., pp. 331-338, 2019, SciTePress, 978-989-758-365-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Weiguo Wan, Yong Yang 0001, Hyo Jong Lee |
Practical remote sensing image fusion method based on guided filter and improved SML in the NSST domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 12(5), pp. 959-966, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Kanghwa Choi, Changhee Kim, Hyun Jung Kim |
Multi-Period efficiency and productivity changes in global Automobile: A VRS-VRM and SML productivity index approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 86, pp. 77-86, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Qiuying Xie, Benshun Yi, Zufu Ke, Weizhong Li |
基于SML和PCNN的NSCT域多聚焦图像融合 (Multi-focus Image Fusion Based on SML and PCNN in NSCT Domain). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(6), pp. 266-269, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Yusuke Doi, Takuma Takada, Takuya Matsuzaki, Satoshi Sato |
SML Question-Answering System for World History Essay Exams at NTCIR-13 QALab-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: The 13th NTCIR Conference, Evaluation of Information Access Technologies, National Center of Sciences, Tokyo, Japan, December 5-8, 2017, 2017, National Institute of Informatics (NII), 978-4-86049-075-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek |
Adding real-time capabilities to a SML compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 13(2), pp. 8-13, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek |
Adding Real-time Capabilities to a SML Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.03116, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek |
Embedded SML using the MLton compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.07206, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Haihua Chen, Shibao Li, Jianhang Liu, Fen Liu, Masakiyo Suzuki |
A Novel Modification of PSO Algorithm for SML Estimation of DOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 16(12), pp. 2188, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Quan Wang, Rencan Nie, Xin Jin 0005, Dongming Zhou, Kangjian He, Jiefu Yu |
基于拉普拉斯金字塔与PCNN-SML的图像融合算法 (Image Fusion Algorithm Using LP Transformation and PCNN-SML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(Z6), pp. 122-124, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Wisarut Chantara, Yo-Sung Ho |
Measure of image focus using image segmentation and SML for light field images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSIPA ![In: Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 2016, Jeju, South Korea, December 13-16, 2016, pp. 1-4, 2016, IEEE, 978-9-8814-7682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Haihua Chen, Shibao Li, Jianhang Liu, Chen Gong, Fen Liu, Masakiyo Suzuki |
A JPSO algorithm for SML estimation of DOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIT ![In: 16th International Symposium on Communications and Information Technologies, ISCIT 2016, Qingdao, China, September 26-28, 2016, pp. 457-460, 2016, IEEE, 978-1-5090-4099-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Takuma Takada, Takuya Imagawa, Takuya Matsuzaki, Satoshi Sato |
SML Question-Answering System for World History Essay and Multiple-choice Exams at NTCIR-12 QA@Lab-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, National Center of Sciences, Tokyo, Japan, June 7-10, 2016, 2016, National Institute of Informatics (NII). The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Faming Gong, Haihua Chen, Shibao Li, Jianhang Liu, Zhaozhi Gu, Masakiyo Suzuki |
A Low Computational Complexity SML Estimation Algorithm of DOA for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 11, pp. 352012:1-352012:11, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Victor L. Winter |
Bricklayer: An Authentic Introduction to the Functional Programming Language SML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFPIE ![In: Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014., pp. 33-49, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito |
SML# in industry: a practical ERP system development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014, pp. 167-173, 2014, ACM, 978-1-4503-2873-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014., pp. 102-112, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Tansel Halic, Suvranu De |
SML: SoFMIS Meta Language for Surgical Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMVR ![In: Medicine Meets Virtual Reality 18 - NextMed, MMVR 2011, Newport Beach, California, USA, February 9-12, 2011, pp. 209-212, 2011, IOS Press, 978-1-60750-705-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Feuerhahn, Michael Zillgith, Christof Wittwer, Christian Wietfeld |
Comparison of the communication protocols DLMS/COSEM, SML and IEC 61850 for smart metering applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartGridComm ![In: IEEE Second International Conference on Smart Grid Communications, SmartGridComm 2011, Brussels, Belgium, October 17-20, 2011, pp. 410-415, 2011, IEEE, 978-1-4577-1704-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | George Kuan, David MacQueen |
Engineering Higher-Order Modules in SML/NJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers, pp. 218-235, 2009, Springer, 978-3-642-16477-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 12(1-2), pp. 1-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Melanie Weis |
Dublettenerkennung in komplex strukturierten Daten [Duplicate Detection in SML Data]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2007, pp. 299-308, 2007, GI, 978-3-88579-412-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow |
A parallel SML compiler based on algorithmic skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(4), pp. 615-650, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ken Friis Larsen, Henning Niss |
mGTK: An SML Binding of Gtk+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference, FREENIX Track ![In: Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27 - July 2, 2004, Boston Marriott Copley Place, Boston, MA, USA, pp. 127-134, 2004, USENIX. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Dorian Petit, Vincent Poirriez, Georges Mariano |
Reuse of SML module system for the B language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 637-649, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Murat K. Munkin |
The MCMC and SML estimation of a self-selection model with two outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 42(3), pp. 403-424, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Richard A. Kilgore |
Silk: object-oriented simulation with Java, Silk, and open SML .NET languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 227-233, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 138-154, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Richard A. Kilgore |
Web 1: open source simulation modeling language (SML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 33nd conference on Winter simulation, WSC 2001, Arlington, VA, USA, December 9-12, 2001, pp. 607-613, 2001, WSC, 0-7803-7309-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Andreas Neumann 0001 |
Parsing and Quering XML Documents in SML. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
Displaying result #1 - #100 of 168 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|