The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1986-1994 (19) 1995-1997 (15) 1998-2000 (20) 2001-2002 (15) 2003-2004 (18) 2005-2006 (15) 2007-2008 (16) 2009-2016 (22) 2017-2019 (16) 2020-2023 (12)
Publication types (Num. hits)
article(43) incollection(1) inproceedings(122) phdthesis(1) proceedings(1)
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
182Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF probabilistic temporal consistency, quality of service, Real-time database, transactions scheduling
182Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF probabilistic temporal consistency, Quality of Service (QoS), real-time database
107Yao-Chuan Tsai The Theory of SML Schema-Directed Query. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relational database, modeling language, database management, model management, structured modeling, SML, universal relation
96Iman Poernomo, John N. Crossley, Martin Wirsing Programs, Proofs and Parametrized Specifications. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Parametrized specifications, CASL, SML, Curry-Howard isomorphism
95Nick Benton, Andrew Kennedy, Claudio V. Russo Adventures in interoperability: the SML.NET experience. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF applications of declarative programming, integration of paradigms, programming environments, functional programming
70Philipp Rohde Moving in a Crumbling Network: The Balanced Case. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, modal logics, dynamic logics
70Christof Löding, Philipp Rohde Model Checking and Satisfiability for Sabotage Modal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Ricardo Rivaldo, Guilherme Germoglio, Flavio Santos, Yuan Chen 0001, Dejan S. Milojicic, Robert Adams SML Model-based Management. Search on Bibsonomy Integrated Network Management The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Richard A. Kilgore Silk and Taylor ED: open-source SML and silk for Java-based, object-oriented simulation. Search on Bibsonomy WSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
65Viktor Geller, Christelle Scharff Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF J#, Java, C#, NET, programming paradigms, SML
64Richard 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 WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Rajaraman 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 SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Heng 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 SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Abdullah Semran Alharbi, Yuefeng Li, Yue Xu 0001 Enhancing Topical Word Semantic for Relevance Feature Selection. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Andreea Salinca Convolutional Neural Networks for Sentiment Classification on Business Reviews. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Yang Gao 0016, Linjing Wei, Heyan Huang, Qian Liu 0012 Topical Sentence Embedding for Query Focused Document Summarization. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Yang Shao A Simple Neural Network For Evaluating Semantic Textual Similarity. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Luis Palacios Medinacelli, Yue Ma 0009, Gaëlle Lortal, Claire Laudy, Chantal Reynaud Data Driven Concept Refinement to Support Avionics Maintenance. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Ritesh Ratti, Himanshu Kapoor, Shikhar Sharma, Anshul Solanki, Pankaj Sachdeva Semantic Extraction of Named Entities From Bank Wire Text. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Evan 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 SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
59Fenglong Ma, Radha Chitta, Saurabh Kataria, Jing Zhou, Palghat Ramesh, Tong Sun, Jing Gao 0004 Long-Term Memory Networks for Question Answering. Search on Bibsonomy SML@IJCAI The full citation details ... 2017 DBLP  BibTeX  RDF
56Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
53Wolfgang Gehrke, Carla Limongelli Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. Search on Bibsonomy DISCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
53Lal George, Florent Guillame, John H. Reppy A Portable and Optimizing Back End for the SML/NJ Compiler. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Derek Dreyer, Matthias Blume Principal Type Schemes for Modular Programs. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Douglas Turnbull, Luke Barrington, David A. Torres, Gert R. G. Lanckriet Towards musical query-by-semantic-description using the CAL500 data set. Search on Bibsonomy SIGIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF content-based music information retrieval, query-by-semantic-description, supervised multi-class classification
42Chin-Feng Fan, Swu Yih Safety Markup Language: Concept and Application. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42John H. Reppy, Jon G. Riecke Simple Objects for Standard ML. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF object-oriented programming, functional programming, standard ML, programming languages design
42Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo A Facile Tutorial. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Edoardo Biagioni A Structured TCP in Standard ML. Search on Bibsonomy SIGCOMM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ML
42Myra Van Inwegen, Elsa L. Gunter HOL-ML. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
40Ludwik Kuzniarz, Maciej Piasecki An abstract model for temporal composition of multimedia data. Search on Bibsonomy EUROMICRO The full citation details ... 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
40Arthur M. Geoffrion, Sergio Maturana Generating optimization-based decision support systems. Search on Bibsonomy HICSS (3) The full citation details ... 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
39Robert 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 NOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo Shrinking Reductions in SML.NET. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Nick Benton, Andrew Kennedy Interlanguage Working Without Tears: Blending SML with Java. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Elsa L. Gunter, Leonid Libkin OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. Search on Bibsonomy DEXA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Zhi-Sheng Chen, Jyh-Shing Roger Jang On the Use of Anti-Word Models for Audio Music Annotation and Retrieval. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Matthias Blume, Mike Rainey, John H. Reppy Calling variadic functions from a strongly-typed language. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, interpreters, foreign-function interfaces
28Ketan Rajawat, Ajit Kumar Chaturvedi Non-Data Aided Symbol Timing Estimation in MIMO Systems. Search on Bibsonomy ICC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Dong In Kim Selective maximum-likelihood symbol-by-symbol detection for multidimensional multicode WCDMA with precoding. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Jonathan L. Shapiro Diversity Loss in General Estimation of Distribution Algorithms. Search on Bibsonomy PPSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Stephen Weeks Whole-program compilation in MLton. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 Selective memoization. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF performance, selective, memoization, programmer controlled
28Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng Typed compilation of recursive datatypes. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF typed compilation, standard ML, recursive types, coercions
28Daniel Ranc, Jacques Landru, Anas Kabbaj An Integrated and Federative Approach to QoS Management in IP Networks. Search on Bibsonomy INTERWORKING The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Zhong Shao Transparent Modules with Fully Syntactic Signatures. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Olin Shivers, James W. Clark, Roland McGrath Atomic Heap Transactions and Fine-grain Interrupts. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28David 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 Best of PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Savi Maharaj, Elsa L. Gunter Studying the ML Module System in Hol. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Hanne Riis Nielson, Flemming Nielson Higher-Order Concurrent Programs with Finite Communication Topology. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Xavier Leroy Manifest Types, Modules, and Separate Compilation. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Yu 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 ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF SOA, Policy, Governance, SML
26Xiaoqing Yan, Weiming Wang, Fenggen Jia Design and Implement of IPsec VPN Service Mapping Layer Based on the ForCES Framework. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF LFB, SPD, hash, IPsec, ForCES, SML, SAD
26Steve Sims, Daniel C. DuVarney Experience report: the reactis validation tool. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reactis, functional programming, standard ML, SML
26Bo Wang, Cornelis Pronk Design and implementation of a GUI for the TLC model checker. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+
26Xavier Leroy, François Pessaux Type-based analysis of uncaught exceptions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
25Lara Kallab, Elio Mansour, Richard Chbeir SML: Semantic Machine Learning Model Ontology. Search on Bibsonomy WISE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Katsuhiro Ueno SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote). Search on Bibsonomy Programming The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Han-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 BDSIC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Wenlong Deng, Lang Lang, Zhen Liu, Bin Liu SML: Enhance the Network Smoothness with Skip Meta Logit for CTR Prediction. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas SML: Semantic meta-learning for few-shot semantic segmentation☆. Search on Bibsonomy Pattern Recognit. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Javier Huertas-Tato, Alejandro Martín, David Camacho SML: a new Semantic Embedding Alignment Transformer for efficient cross-lingual Natural Language Inference. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Laila El-Beheiry, Giselle Reis, Ammar Karkour SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. Search on Bibsonomy LFMTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas SML: Semantic Meta-learning for Few-shot Semantic Segmentation. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Xinmeng Li, James Van Deventer, Soha Hassoun ASAP-SML: An Antibody Sequence Analysis Pipeline Using Statistical Testing and Machine Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Xinmeng Li, James Van Deventer, Soha Hassoun ASAP-SML: An antibody sequence analysis pipeline using statistical testing and machine learning. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek RTMLton: An SML Runtime for Real-Time Systems. Search on Bibsonomy PADL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Xiaofeng Bai, Huajun Song, Changbo Xiang Parallel Fast DOA Estimation Algorithm Based on SML and Membrane Computing. Search on Bibsonomy NPC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Patrick Westphal, Lorenz Bühmann, Simon Bin, Hajira Jabeen, Jens Lehmann 0001 SML-Bench - A benchmarking framework for structured machine learning. Search on Bibsonomy Semantic Web The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Michael W. Sobolewski Service-oriented Mogramming with SML and SORCER. Search on Bibsonomy CLOSER The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Weiguo 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 Signal Image Video Process. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Kanghwa 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 Expert Syst. Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Qiuying 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 计算机科学 The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Yusuke Doi, Takuma Takada, Takuya Matsuzaki, Satoshi Sato SML Question-Answering System for World History Essay Exams at NTCIR-13 QALab-3. Search on Bibsonomy NTCIR The full citation details ... 2017 DBLP  BibTeX  RDF
25Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek Adding real-time capabilities to a SML compiler. Search on Bibsonomy SIGBED Rev. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek Adding Real-time Capabilities to a SML Compiler. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
25Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek Embedded SML using the MLton compiler. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
25Haihua Chen, Shibao Li, Jianhang Liu, Fen Liu, Masakiyo Suzuki A Novel Modification of PSO Algorithm for SML Estimation of DOA. Search on Bibsonomy Sensors The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Quan 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 计算机科学 The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Wisarut Chantara, Yo-Sung Ho Measure of image focus using image segmentation and SML for light field images. Search on Bibsonomy APSIPA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Haihua Chen, Shibao Li, Jianhang Liu, Chen Gong, Fen Liu, Masakiyo Suzuki A JPSO algorithm for SML estimation of DOA. Search on Bibsonomy ISCIT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Takuma 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 NTCIR The full citation details ... 2016 DBLP  BibTeX  RDF
25Faming 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 Int. J. Distributed Sens. Networks The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Victor L. Winter Bricklayer: An Authentic Introduction to the Functional Programming Language SML. Search on Bibsonomy TFPIE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito SML# in industry: a practical ERP system development. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Miloud Bennama, Thouraya Bouabana-Tebibel Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. Search on Bibsonomy VECoS The full citation details ... 2014 DBLP  BibTeX  RDF
25Tansel Halic, Suvranu De SML: SoFMIS Meta Language for Surgical Simulation. Search on Bibsonomy MMVR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Stefan 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 SmartGridComm The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25George Kuan, David MacQueen Engineering Higher-Order Modules in SML/NJ. Search on Bibsonomy IFL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Deepak 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 Des. Autom. Embed. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Melanie Weis Dublettenerkennung in komplex strukturierten Daten [Duplicate Detection in SML Data]. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2007 DBLP  BibTeX  RDF
25Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow A parallel SML compiler based on algorithmic skeletons. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Ken Friis Larsen, Henning Niss mGTK: An SML Binding of Gtk+. Search on Bibsonomy USENIX Annual Technical Conference, FREENIX Track The full citation details ... 2004 DBLP  BibTeX  RDF
25Dorian Petit, Vincent Poirriez, Georges Mariano Reuse of SML module system for the B language. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
25Murat K. Munkin The MCMC and SML estimation of a self-selection model with two outcomes. Search on Bibsonomy Comput. Stat. Data Anal. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Richard A. Kilgore Silk: object-oriented simulation with Java, Silk, and open SML .NET languages. Search on Bibsonomy WSC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Norman Scaife, Greg Michaelson, Susumu Horiguchi Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Richard A. Kilgore Web 1: open source simulation modeling language (SML). Search on Bibsonomy WSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Andreas Neumann 0001 Parsing and Quering XML Documents in SML. (PDF / PS) Search on Bibsonomy 2000   RDF
Displaying result #1 - #100 of 168 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license