|
|
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. |
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 |
|
Displaying result #1 - #100 of 168 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|