Search results for "SML"

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.	IEEE Trans. Knowl. Data Eng.	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.	RTSS	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.	Ann. Oper. Res.	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.	WADT	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.	PPDP	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.	CSL	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.	FSTTCS	2003	DBLP DOI BibTeX RDF
67	Ricardo Rivaldo, Guilherme Germoglio, Flavio Santos, Yuan Chen 0001, Dejan S. Milojicic, Robert Adams	SML Model-based Management.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
67	Richard A. Kilgore	Silk and Taylor ED: open-source SML and silk for Java-based, object-oriented simulation.	WSC	2001	DBLP DOI BibTeX RDF
65	Viktor Geller, Christelle Scharff	Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET.	ITiCSE	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.	WSC	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.	SML@IJCAI	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.	SML@IJCAI	2017	DBLP BibTeX RDF
59	Abdullah Semran Alharbi, Yuefeng Li, Yue Xu 0001	Enhancing Topical Word Semantic for Relevance Feature Selection.	SML@IJCAI	2017	DBLP BibTeX RDF
59	Andreea Salinca	Convolutional Neural Networks for Sentiment Classification on Business Reviews.	SML@IJCAI	2017	DBLP BibTeX RDF
59	Yang Gao 0016, Linjing Wei, Heyan Huang, Qian Liu 0012	Topical Sentence Embedding for Query Focused Document Summarization.	SML@IJCAI	2017	DBLP BibTeX RDF
59	Yang Shao	A Simple Neural Network For Evaluating Semantic Textual Similarity.	SML@IJCAI	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.	SML@IJCAI	2017	DBLP BibTeX RDF
59	Ritesh Ratti, Himanshu Kapoor, Shikhar Sharma, Anshul Solanki, Pankaj Sachdeva	Semantic Extraction of Named Entities From Bank Wire Text.	SML@IJCAI	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.	SML@IJCAI	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.	SML@IJCAI	2017	DBLP BibTeX RDF
56	Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun	Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.	COMPSAC	1996	DBLP DOI BibTeX RDF
53	Wolfgang Gehrke, Carla Limongelli	Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting.	DISCO	1996	DBLP DOI BibTeX RDF
53	Lal George, Florent Guillame, John H. Reppy	A Portable and Optimizing Back End for the SML/NJ Compiler.	CC	1994	DBLP DOI BibTeX RDF
42	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	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.	SIGIR	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.	SAFECOMP	1999	DBLP DOI BibTeX RDF
42	John H. Reppy, Jon G. Riecke	Simple Objects for Standard ML.	PLDI	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.	CONCUR	1996	DBLP DOI BibTeX RDF
42	Edoardo Biagioni	A Structured TCP in Standard ML.	SIGCOMM	1994	DBLP DOI BibTeX RDF	ML
42	Myra Van Inwegen, Elsa L. Gunter	HOL-ML.	HUG	1993	DBLP DOI BibTeX RDF
40	Ludwik Kuzniarz, Maciej Piasecki	An abstract model for temporal composition of multimedia data.	EUROMICRO	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.	HICSS (3)	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).	NOMS	2008	DBLP DOI BibTeX RDF
39	Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo	Shrinking Reductions in SML.NET.	IFL	2004	DBLP DOI BibTeX RDF
39	Nick Benton, Andrew Kennedy	Interlanguage Working Without Tears: Blending SML with Java.	ICFP	1999	DBLP DOI BibTeX RDF
39	Elsa L. Gunter, Leonid Libkin	OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.	DEXA	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.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
28	Matthias Blume, Mike Rainey, John H. Reppy	Calling variadic functions from a strongly-typed language.	ML	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.	ICC	2007	DBLP DOI BibTeX RDF
28	Dong In Kim	Selective maximum-likelihood symbol-by-symbol detection for multidimensional multicode WCDMA with precoding.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
28	Jonathan L. Shapiro	Diversity Loss in General Estimation of Distribution Algorithms.	PPSN	2006	DBLP DOI BibTeX RDF
28	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
28	Umut A. Acar, Guy E. Blelloch, Robert Harper 0001	Selective memoization.	POPL	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.	TLDI	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.	INTERWORKING	2000	DBLP DOI BibTeX RDF
28	Zhong Shao	Transparent Modules with Fully Syntactic Signatures.	ICFP	1999	DBLP DOI BibTeX RDF
28	Olin Shivers, James W. Clark, Roland McGrath	Atomic Heap Transactions and Fine-grain Interrupts.	ICFP	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)	Best of PLDI	1996	DBLP DOI BibTeX RDF
28	Savi Maharaj, Elsa L. Gunter	Studying the ML Module System in Hol.	TPHOLs	1994	DBLP DOI BibTeX RDF
28	Hanne Riis Nielson, Flemming Nielson	Higher-Order Concurrent Programs with Finite Communication Topology.	POPL	1994	DBLP DOI BibTeX RDF
28	Xavier Leroy	Manifest Types, Modules, and Separate Compilation.	POPL	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.	ICWS	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.	NCM	2009	DBLP DOI BibTeX RDF	LFB, SPD, hash, IPsec, ForCES, SML, SAD
26	Steve Sims, Daniel C. DuVarney	Experience report: the reactis validation tool.	ICFP	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.	ACM SIGPLAN Notices	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.	ACM Trans. Program. Lang. Syst.	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.	WISE	2023	DBLP DOI BibTeX RDF
25	Katsuhiro Ueno	SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote).	Programming	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.	BDSIC	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.	CoRR	2022	DBLP DOI BibTeX RDF
25	Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas	SML: Semantic meta-learning for few-shot semantic segmentation☆.	Pattern Recognit. Lett.	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.	CoRR	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.	LFMTP	2021	DBLP DOI BibTeX RDF
25	Ayyappa Kumar Pambala, Titir Dutta, Soma Biswas	SML: Semantic Meta-learning for Few-shot Semantic Segmentation.	CoRR	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.	CoRR	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.	PLoS Comput. Biol.	2020	DBLP DOI BibTeX RDF
25	Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek	RTMLton: An SML Runtime for Real-Time Systems.	PADL	2020	DBLP DOI BibTeX RDF
25	Xiaofeng Bai, Huajun Song, Changbo Xiang	Parallel Fast DOA Estimation Algorithm Based on SML and Membrane Computing.	NPC	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.	Semantic Web	2019	DBLP DOI BibTeX RDF
25	Michael W. Sobolewski	Service-oriented Mogramming with SML and SORCER.	CLOSER	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.	Signal Image Video Process.	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.	Expert Syst. Appl.	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).	计算机科学	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.	NTCIR	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.	SIGBED Rev.	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.	CoRR	2016	DBLP BibTeX RDF
25	Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek	Embedded SML using the MLton compiler.	CoRR	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.	Sensors	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).	计算机科学	2016	DBLP DOI BibTeX RDF
25	Wisarut Chantara, Yo-Sung Ho	Measure of image focus using image segmentation and SML for light field images.	APSIPA	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.	ISCIT	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.	NTCIR	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.	Int. J. Distributed Sens. Networks	2015	DBLP DOI BibTeX RDF
25	Victor L. Winter	Bricklayer: An Authentic Introduction to the Functional Programming Language SML.	TFPIE	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.	ICFP	2014	DBLP DOI BibTeX RDF
25	Miloud Bennama, Thouraya Bouabana-Tebibel	Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.	VECoS	2014	DBLP BibTeX RDF
25	Tansel Halic, Suvranu De	SML: SoFMIS Meta Language for Surgical Simulation.	MMVR	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.	SmartGridComm	2011	DBLP DOI BibTeX RDF
25	George Kuan, David MacQueen	Engineering Higher-Order Modules in SML/NJ.	IFL	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.	Des. Autom. Embed. Syst.	2008	DBLP DOI BibTeX RDF
25	Melanie Weis	Dublettenerkennung in komplex strukturierten Daten [Duplicate Detection in SML Data].	Ausgezeichnete Informatikdissertationen	2007	DBLP BibTeX RDF
25	Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow	A parallel SML compiler based on algorithmic skeletons.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
25	Ken Friis Larsen, Henning Niss	mGTK: An SML Binding of Gtk+.	USENIX Annual Technical Conference, FREENIX Track	2004	DBLP BibTeX RDF
25	Dorian Petit, Vincent Poirriez, Georges Mariano	Reuse of SML module system for the B language.	FDL	2004	DBLP BibTeX RDF
25	Murat K. Munkin	The MCMC and SML estimation of a self-selection model with two outcomes.	Comput. Stat. Data Anal.	2003	DBLP DOI BibTeX RDF
25	Richard A. Kilgore	Silk: object-oriented simulation with Java, Silk, and open SML .NET languages.	WSC	2002	DBLP DOI BibTeX RDF
25	Norman Scaife, Greg Michaelson, Susumu Horiguchi	Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.	IFL	2001	DBLP DOI BibTeX RDF
25	Richard A. Kilgore	Web 1: open source simulation modeling language (SML).	WSC	2001	DBLP DOI BibTeX RDF
25	Andreas Neumann 0001	Parsing and Quering XML Documents in SML. (PDF / PS)		2000	RDF