BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
semantics
Google semantics

Tag #semantics

3050 papers:

POPLPOPL-2020-BourkeBP #compilation #data flow
Mechanized semantics and verified compilation for a dataflow synchronous language with reset (TB, LB, MP), p. 29.
POPLPOPL-2020-DahlqvistK #higher-order #probability #source code
Semantics of higher-order probabilistic programs with conditioning (FD, DK), p. 29.
POPLPOPL-2020-GreenbergB #execution
Executable formal semantics for the POSIX shell (MG0, AJB), p. 30.
POPLPOPL-2020-LewCSCM #probability #programmable
Trace types and denotational semantics for sound programmable inference in probabilistic languages (AKL, MFCT, BS, MC, VKM), p. 32.
POPLPOPL-2020-RaadWNV #architecture
Persistency semantics of the Intel-x86 architecture (AR, JW, GN, VV), p. 31.
CCCC-2020-FegadeW #analysis #data type #modelling #pointer #scalability #using
Scalable pointer analysis of data structures using semantic models (PF, CW), pp. 39–50.
CSLCSL-2020-HoelzelW #higher-order #logic #on the
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics (MH, RW), p. 16.
EDMEDM-2019-BroisinH #automation #design #evaluation #learning #programming
Design and evaluation of a semantic indicator for automatically supporting programming learning (JB, CH).
EDMEDM-2019-Venantd #complexity #concept #graph #predict #towards
Towards the Prediction of Semantic Complexity Based on Concept Graphs (RV, Md).
ICPCICPC-2019-YuLCLXW #detection
Neural detection of semantic code clones via tree-based convolution (HY, WL, LC, GL, TX, QW), pp. 70–80.
ICSMEICSME-2019-AsadGS #automation #impact analysis #program repair
Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair (MA, KKG, KS), pp. 328–332.
ICSMEICSME-2019-Hanam0H #comprehension #impact analysis
Aiding Code Change Understanding with Semantic Change Impact Analysis (QH, AM0, RH), pp. 202–212.
MSRMSR-2019-AkbarK #named #order #retrieval #source code
SCOR: source code retrieval with semantics and order (SAA, ACK), pp. 1–12.
MSRMSR-2019-EfstathiouS #identifier #modelling #source code #using
Semantic source code models using identifier embeddings (VE, DS), pp. 29–33.
MSRMSR-2019-KampKP #java #named #set
SeSaMe: a data set of semantically similar Java methods (MK, PK, MP), pp. 529–533.
SANERSANER-2019-LiuK0B #debugging #named #static analysis
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations (KL0, AK, DK0, TFB), pp. 456–467.
FMFM-2019-VuO #natural language #specification
Formal Semantics Extraction from Natural Language Specifications for ARM (AVV, MO), pp. 465–483.
FSCDFSCD-2019-Yang #probability #programming language
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) (HY), p. 6.
IFM-2019-JohansenO #summary
Summary of: Dynamic Structural Operational Semantics (CJ, OO), pp. 525–528.
ICFP-2019-SwierstraB #functional
A predicate transformer semantics for effects (functional pearl) (WS, TB), p. 26.
AIIDEAIIDE-2019-LinXR #learning #named
GenerationMania: Learning to Semantically Choreograph (ZL, KX, MR), pp. 52–58.
AIIDEAIIDE-2019-ZhangSFK #behaviour
Knowledge-Powered Inference of Crowd Behaviors in Semantically Rich Environments (XZ, DS, PF, MK), pp. 202–209.
CHI-PLAYCHI-PLAY-2019-SchertlerKW #analysis #game studies #using
User Guided Movement Analysis in Games using Semantic Trajectories (RS, SK, GW), pp. 613–623.
FDGFDG-2019-BalintB #generative #representation
A generalized semantic representation for procedural generation of rooms (JTB, RB), p. 8.
FDGFDG-2019-LaBouveMK #generative #web
Enhancing story generation with the semantic web (EL, EM, FK), p. 11.
CIKMCIKM-2019-ArkoudasY
Semantically Driven Auto-completion (KA, MY), pp. 2693–2701.
CIKMCIKM-2019-CaoZXPY #adaptation #classification #consistency #image
Adversarial Domain Adaptation with Semantic Consistency for Cross-Domain Image Classification (MC, XZ, YX, YP, BY), pp. 259–268.
CIKMCIKM-2019-IslamLL00 #classification #random
A Semantics Aware Random Forest for Text Classification (MZI, JL, JL, LL0, WK0), pp. 1061–1070.
CIKMCIKM-2019-JinOLLLC #graph #learning #similarity
Learning Region Similarity over Spatial Knowledge Graphs with Hierarchical Types and Semantic Relations (XJ, BO, SL, DL, KHL, LC), pp. 669–678.
CIKMCIKM-2019-MarinR #clustering #programming
Clustering Recurrent and Semantically Cohesive Program Statements in Introductory Programming Assignments (VJM, CRR), pp. 911–920.
CIKMCIKM-2019-TanYHD #learning #multi #segmentation
Batch Mode Active Learning for Semantic Segmentation Based on Multi-Clue Sample Selection (YT, LY, QH, ZD), pp. 831–840.
CIKMCIKM-2019-WangSGYZF #multi
Multi-Target Multi-Camera Tracking with Human Body Part Semantic Features (MW, DS, NG, WY, TZ, ZF), pp. 199–208.
CIKMCIKM-2019-YangTDZLL #framework #query
An Active and Deep Semantic Matching Framework for Query Rewrite in E-Commercial Search Engine (YY, JT, HD, ZZ, YL, XL), pp. 309–318.
ECIRECIR-p1-2019-BalikasDMAA #learning #using
Learning Lexical-Semantic Relations Using Intuitive Cognitive Links (GB, GD, RM, HA, MRA), pp. 3–18.
ECIRECIR-p1-2019-BiAC #feedback #retrieval
Iterative Relevance Feedback for Answer Passage Retrieval with Passage-Level Semantic Match (KB, QA, WBC), pp. 558–572.
ECIRECIR-p1-2019-StorkWHPVW #automation
Automated Semantic Annotation of Species Names in Handwritten Texts (LS, AW0, HJvdH, AP, FJV, KW), pp. 667–680.
ECIRECIR-p1-2019-YangL #axiom #information retrieval
Reproducing and Generalizing Semantic Term Matching in Axiomatic Information Retrieval (PY, JL), pp. 369–381.
ICMLICML-2019-VargasBH #comparison #difference
Model Comparison for Semantic Grouping (FV, KB, NH), pp. 6410–6417.
KDDKDD-2019-HulsebosHBZSKDH #approach #data type #detection #learning #named
Sherlock: A Deep Learning Approach to Semantic Data Type Detection (MH, KZH, MAB, EZ, AS, TK, ÇD, CAH), pp. 1500–1508.
KDDKDD-2019-NigamSMLDSTGY
Semantic Product Search (PN, YS, VM, VL, WAD, AS, CHT, HG, BY), pp. 2876–2885.
KDDKDD-2019-Tao0WFYZ0 #memory management #modelling #named #towards
Log2Intent: Towards Interpretable User Modeling via Recurrent Semantics Memory Unit (ZT, SL0, ZW, CF, LY, HZ, YF0), pp. 1055–1063.
KDDKDD-2019-YaoYX #word
Enhancing Domain Word Embedding via Latent Semantic Imputation (SY, DY, KX), pp. 557–565.
ECOOPECOOP-2019-KangTLMJ0 #case study #experience #java #program transformation
Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.
ECOOPECOOP-2019-PelsmaekerAV #declarative #editing #idea #parametricity #specification #towards #type system
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.
OOPSLAOOPSLA-2019-RaadWV #formal method #modelling #transaction
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models (AR, JW, VV), p. 27.
PLDIPLDI-2019-AbdullaAAK #source code #verification
Verification of programs under the release-acquire semantics (PAA, JA0, MFA, SNK), pp. 1117–1132.
PLDIPLDI-2019-CampagnaXMSL #generative #named #natural language #parsing
Genie: a generator of natural language semantic parsers for virtual assistant commands (GC, SX, MM, RS, MSL), pp. 394–410.
PLDIPLDI-2019-ChurchillP0A #equivalence
Semantic program alignment for equivalence checking (BRC, OP, RS0, AA), pp. 1027–1040.
PLDIPLDI-2019-Dasgupta0KAR #architecture #set
A complete formal semantics of x86-64 user-level instruction set architecture (SD, DP0, TK, VSA, GR), pp. 1133–1148.
PLDIPLDI-2019-LahavM #robust
Robustness against release/acquire semantics (OL, RM), pp. 126–141.
PLDIPLDI-2019-LoringMK #execution #javascript #regular expression #symbolic computation
Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.
PLDIPLDI-2019-PerryKSZ #clustering #imperative #named #programming
SemCluster: clustering of imperative programming assignments based on quantitative semantic features (DMP, DK, RS, XZ), pp. 860–873.
POPLPOPL-2019-ArmstrongBCRGNM
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.
POPLPOPL-2019-BodinGJS
Skeletal semantics and their interpretations (MB, PG, TPJ, AS), p. 31.
POPLPOPL-2019-CastellanY #game studies
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side (SC, NY), p. 29.
POPLPOPL-2019-ClairambaultVW #game studies #programming #quantum
Game semantics for quantum programming (PC, MdV, GW), p. 29.
POPLPOPL-2019-Hirschowitz #monad
Familial monads and structural operational semantics (TH), p. 28.
POPLPOPL-2019-KokkeMP #process
Better late than never: a fully-abstract semantics for classical processes (WK, FM, MP), p. 29.
POPLPOPL-2019-Mellies #category theory #combinator #game studies #scheduling
Categorical combinatorics of scheduling and synchronization in game semantics (PAM), p. 30.
POPLPOPL-2019-MemarianGDKRWS #c #pointer
Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.
PPDPPPDP-2019-Thiemann
Intrinsically-Typed Mechanized Semantics for Session Types (PT0), p. 15.
SASSAS-2019-Cousot #analysis #data flow
Syntactic and Semantic Soundness of Structural Dataflow Analysis (PC), pp. 96–117.
SASSAS-2019-Cousot19a #dependence
Abstract Semantic Dependency (PC), pp. 389–410.
ASEASE-2019-Jiang #analysis #commit #generative
Boosting Neural Commit Message Generation with Code Semantic Analysis (SJ), pp. 1280–1282.
ASEASE-2019-LinJM #mobile
Test Transfer Across Mobile Apps Through Semantic Mapping (JWL, RJ, SM), pp. 42–53.
ASEASE-2019-SondhiP #consistency #named #nondeterminism #specification #string
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs (DS, RP), pp. 200–212.
ASEASE-2019-WanSSXZ0Y #learning #multi #network #retrieval #source code
Multi-modal Attention Network Learning for Semantic Source Code Retrieval (YW, JS, YS, GX, ZZ, JW0, PSY), pp. 13–25.
ESEC-FSEESEC-FSE-2019-JiangLZ
Semantic relation based expansion of abbreviations (YJ, HL, LZ), pp. 131–141.
ESEC-FSEESEC-FSE-2019-Papachristou #clustering #graph
Software clusterings with vector semantics and the call graph (MP), pp. 1184–1186.
ICSE-2019-NguyenNDNTH #fine-grained #graph #mining
Graph-based mining of in-the-wild, fine-grained, semantic code change patterns (HAN, TNN, DD, SN, HT, MH), pp. 819–830.
GPCEGPCE-2019-Shaikhha #pattern matching #polymorphism
Polymorphic extractors for semantic and portable pattern matching (short paper) (AS), pp. 61–67.
CASECASE-2019-AngleraudHNP
Cognitive Semantics For Dynamic Planning In Human-Robot Teams (AA, QH, MN, RP), pp. 942–947.
CASECASE-2019-Kast0FZ #industrial
Bridging the Gap Between Semantics and Control for Industry 4.0 and Autonomous Production (BK, SA0, WF, JZ), pp. 780–787.
CASECASE-2019-XieX0C #analysis
The Analysis of Haze Effect on Dense Semantic Mapping (HX, QX, DZ0, ZC), pp. 1118–1123.
ESOPESOP-2019-Alvarez-Picallo #datalog #fixpoint #incremental #recursion
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog (MAP, AET, MPJ, CHLO), pp. 525–552.
ESOPESOP-2019-BoutillierCF #simulation #static analysis
Counters in Kappa: Semantics, Simulation, and Static Analysis (PB, IC, JF), pp. 176–204.
ESOPESOP-2019-CastellanP #probability #programming
Probabilistic Programming Inference via Intensional Semantics (SC, HP), pp. 322–349.
CAVCAV-2019-LauGMPS #c #concurrent #named
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C (SL, VBFG, KM, JPP, PS), pp. 387–397.
VMCAIVMCAI-2019-RaadLV #on the
On the Semantics of Snapshot Isolation (AR, OL, VV), pp. 1–23.
JCDLJCDL-2018-FafaliosKN #documentation #query #ranking
Ranking Archived Documents for Structured Queries on Semantic Layers (PF, VK, WN), pp. 155–164.
JCDLJCDL-2018-MaiGS #learning #performance #using
Using Deep Learning for Title-Based Semantic Subject Indexing to Reach Competitive Performance to Full-Text (FM, LG, AS), pp. 169–178.
JCDLJCDL-2018-NanniPD #fine-grained
Entity-Aspect Linking: Providing Fine-Grained Semantics of Entities in Context (FN, SPP, LD), pp. 49–58.
ICSMEICSME-2018-HuZLWLG #analysis #approach #hybrid #named
BinMatch: A Semantics-Based Hybrid Approach on Binary Code Clone Analysis (YH, YZ0, JL, HW, BL, DG), pp. 104–114.
SANERSANER-2018-KuleszK0 #approach #correctness #evolution #spreadsheet
Spreadsheet guardian: An approach to protecting semantic correctness throughout the evolution of spreadsheets (journal-first abstract) (DK, VK, SW0), p. 476.
SCAMSCAM-2018-JiangCZPP0 #code search #research #using
[Research Paper] Semantics-Based Code Search Using Input/Output Examples (RJ, ZC, ZZ, YP0, MP, TZ0), pp. 92–102.
FMFM-2018-FavaSS #memory management
Operational Semantics of a Weak Memory Model with Channel Synchronization (DSF, MS, VS), pp. 258–276.
FSCDFSCD-2018-MannaaM #type system
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory (BM, REM), p. 17.
SEFMSEFM-2018-Harman #testing
We Need a Testability Transformation Semantics (MH), pp. 3–17.
ICFP-2018-AllaisA0MM #proving
A type and scope safe universe of syntaxes with binding: their semantics and proofs (GA, RA, JC0, CM, JM), p. 30.
ICFP-2018-HirschT #lazy evaluation #monad #strict
Strict and lazy semantics for effects: layering monads and comonads (AKH, RT), p. 30.
CIKMCIKM-2018-CalvaneseX #data access #integration
Semantic Technologies for Data Access and Integration (DC, GX0), pp. 2303–2304.
CIKMCIKM-2018-FanLFSL #identification #network
A Globalization-Semantic Matching Neural Network for Paraphrase Identification (MF, WL, YF, MS, PL0), pp. 2067–2075.
CIKMCIKM-2018-LinmansVK #detection #robust #scalability #using #web
Improved and Robust Controversy Detection in General Web Pages Using Semantic Approaches under Large Scale Conditions (JL, BvdV, EK), pp. 1647–1650.
CIKMCIKM-2018-LuoWHYZ #learning #segmentation
Coarse-to-Fine Annotation Enrichment for Semantic Segmentation Learning (YL, ZW, ZH, YY0, CZ), pp. 237–246.
CIKMCIKM-2018-PrasojoKN #fine-grained #information management #named #using
StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction (REP, MK, WN), pp. 467–476.
CIKMCIKM-2018-ViegasLGKCMSRG #modelling #topic
Semantically-Enhanced Topic Modeling (FV, WL, CG, AK, SDC, FM, TS, LCdR, MAG), pp. 893–902.
CIKMCIKM-2018-Wang00 #multi
Deep Semantic Hashing with Multi-Adversarial Training (BW, KL0, JZ0), pp. 1453–1462.
CIKMCIKM-2018-WuLZ #learning #retrieval #taxonomy
Joint Dictionary Learning and Semantic Constrained Latent Subspace Projection for Cross-Modal Retrieval (JW, ZL, HZ), pp. 1663–1666.
ECIRECIR-2018-DeyKGS #community #lifecycle #network #social #topic
Topic Lifecycle on Social Networks: Analyzing the Effects of Semantic Continuity and Social Communities (KD, SK, KG, RS), pp. 29–42.
ECIRECIR-2018-StihecZP #approach #detection #hybrid
Simplified Hybrid Approach for Detection of Semantic Orientations in Economic Texts (JS, MZ, SP), pp. 692–698.
ECIRECIR-2018-TianLWWQLLS #learning #similarity
An Adversarial Joint Learning Model for Low-Resource Language Semantic Textual Similarity (JT, ML, YW, JW, LQ, SL0, JL, LS), pp. 89–101.
ICMLICML-2018-WuSHDR #algorithm #probability #programming
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms (YW, SS, NH, SD, SJR), pp. 5339–5348.
ICMLICML-2018-XieZCC #adaptation #learning
Learning Semantic Representations for Unsupervised Domain Adaptation (SX, ZZ, LC0, CC), pp. 5419–5428.
ICMLICML-2018-XuZFLB #learning
A Semantic Loss Function for Deep Learning with Symbolic Knowledge (JX, ZZ, TF, YL, GVdB), pp. 5498–5507.
ICMLICML-2018-YeZ0Z #modelling
Rectify Heterogeneous Models with Semantic Mapping (HJY, DCZ, YJ0, ZHZ), pp. 1904–1913.
ICPRICPR-2018-ChangGJ #segmentation
Depth-assisted RefineNet for Indoor Semantic Segmentation (MC, FG0, RJ), pp. 1845–1850.
ICPRICPR-2018-Gong0LL #synthesis
Dynamic Facial Expression Synthesis Driven by Deformable Semantic Parts (NG, YY0, YL, DL), pp. 2929–2934.
ICPRICPR-2018-GuanZT #segmentation #top-down
Inception Donut Convolution for Top-down Semantic Segmentation (HG, ZZ, TT), pp. 2492–2497.
ICPRICPR-2018-HuangCZZXN #image #segmentation
Medical Knowledge Constrained Semantic Breast Ultrasound Image Segmentation (KH, HDC, YZ, BZ, PX, CN), pp. 1193–1198.
ICPRICPR-2018-JinZJD #locality #visual notation
Localization Based on Semantic Map and Visual Inertial Odometry (JJ, XZ, YJ, ZD), pp. 2410–2415.
ICPRICPR-2018-LiciottiPPFZ #network #segmentation #using
Convolutional Networks for Semantic Heads Segmentation using Top-View Depth Data in Crowded Environment (DL, MP, RP, EF, PZ), pp. 1384–1389.
ICPRICPR-2018-LiCQWW #adaptation #learning #network
Cross-domain Semantic Feature Learning via Adversarial Adaptation Networks (RL, WmC0, SQ, HSW, SW), pp. 37–42.
ICPRICPR-2018-LiDHCH #multi #process
Multi-label Semantic Decoding from Human Brain Activity (DL, CD, LH, ZC, HH), pp. 3796–3801.
ICPRICPR-2018-LiuMXP #image #network #synthesis
Semantic Image Synthesis via Conditional Cycle-Generative Adversarial Networks (XL, GM, SX, CP), pp. 988–993.
ICPRICPR-2018-LiW18a #detection #using #visual notation
Visual Relationship Detection Using Joint Visual-Semantic Embedding (BL, YW0), pp. 3291–3296.
ICPRICPR-2018-MaGLLZ #3d #multi #named #network #segmentation
3DMAX-Net: A Multi-Scale Spatial Contextual Network for 3D Point Cloud Semantic Segmentation (YM, YG, YL, ML, JZ), pp. 1560–1566.
ICPRICPR-2018-MaheMC #segmentation #visual notation
Semantic-only Visual Odometry based on dense class-level segmentation (HM, DM, AIC), pp. 1989–1995.
ICPRICPR-2018-SongCHSC #detection #refinement
Scene Text Detection via Deep Semantic Feature Fusion and Attention-based Refinement (YS, YC, HH, SS, XC), pp. 3747–3752.
ICPRICPR-2018-WangXS #music #random
Semantic Music Annotation by Label-Specific Conditional Random Fields (QW, YX, FS), pp. 2941–2946.
ICPRICPR-2018-WuLCW #learning #multi
Learning a Hierarchical Latent Semantic Model for Multimedia Data (SHW, YSL, SHC, JCW), pp. 2995–3000.
ICPRICPR-2018-XieW #detection #multi #segmentation
Multi-scale Semantic Segmentation Enriched Features for Pedestrian Detection (XX, ZW), pp. 2196–2201.
ICPRICPR-2018-ZhangMWZ0 #classification #scalability #video
From Text to Video: Exploiting Mid-Level Semantics for Large-Scale Video Classification (JZ0, KM, XW0, YZ0, JF0), pp. 1695–1700.
ICPRICPR-2018-ZhaoPL0DWQ #learning #locality #topic #using
Learning Topics Using Semantic Locality (ZZ, KP, SL, ZL0, CD, YW, QQ), pp. 3710–3715.
ICPRICPR-2018-ZhongDL #3d #geometry
3D Geometry-Aware Semantic Labeling of Outdoor Street Scenes (YZ, YD, HL), pp. 2343–2349.
ICPRICPR-2018-ZhongZ #performance #segmentation
Efficient Object Region Discovery for Weakly-supervised Semantic Segmentation (MZ, GZ), pp. 2166–2171.
ICPRICPR-2018-ZhuangTYMZJX #image #learning #named #representation #segmentation
RelationNet: Learning Deep-Aligned Representation for Semantic Image Segmentation (YZ, LT, FY, CM, ZZ, HJ, XX), pp. 1506–1511.
KDDKDD-2018-LiuZZLYWY #graph #interactive #proximity
Interactive Paths Embedding for Semantic Proximity Search on Heterogeneous Graphs (ZL, VWZ, ZZ, ZL, HY, MW, JY), pp. 1860–1869.
KDDKDD-2018-LuJZDZW #learning #named #visual notation
R-VQA: Learning Visual Relation Facts with Semantic Attention for Visual Question Answering (PL, LJ, WZ0, ND, MZ0, JW), pp. 1880–1889.
KDDKDD-2018-ShanJZM #retrieval
Recurrent Binary Embedding for GPU-Enabled Exhaustive Retrieval from Billion-Scale Semantic Vectors (YS, JJ, JZ0, JCM), pp. 2170–2179.
ICMTICMT-2018-Boronat #atl #execution #framework #prototype
A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
OOPSLAOOPSLA-2018-AbdullaAJN #model checking
Optimal stateless model checking under the release-acquire semantics (PAA, MFA, BJ, TPN), p. 29.
OOPSLAOOPSLA-2018-RaadV #memory management #persistent
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model (AR, VV), p. 27.
PADLPADL-2018-AdrianM #navigation #online #set
Navigating Online Semantic Resources for Entity Set Expansion (WTA, MM), pp. 170–185.
PLDIPLDI-2018-ChongSW #c++ #memory management #transaction
The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.
POPLPOPL-2018-MeloRAP #c #source code
Inference of static semantics for incomplete C programs (LTCM, RGR, MRdA, FMQP), p. 28.
PPDPPPDP-2018-Benton #bytecode #equivalence
Semantic Equivalence Checking for HHVM Bytecode (NB), p. 8.
ASEASE-2018-GaoYFJS #learning #named #platform
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary (JG, XY, YF, YJ0, JS), pp. 896–899.
ASEASE-2018-LiuLZJS #contract #named #security #towards
S-gram: towards semantic-aware security auditing for Ethereum smart contracts (HL, CL, WZ, YJ0, JS), pp. 814–819.
ASEASE-2018-SungLEW #concurrent #difference #scalability #source code
Datalog-based scalable semantic diffing of concurrent programs (CS, SKL, CE, CW0), pp. 656–666.
ASEASE-2018-TonderKG
Semantic crash bucketing (RvT, JK, CLG), pp. 612–622.
ESEC-FSEESEC-FSE-2018-GaoYFJSS #learning #named
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation (JG, XY, YF, YJ0, HS, JS), pp. 803–808.
ESEC-FSEESEC-FSE-2018-HashimotoMI #automation #debugging #source code
Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes (MH, AM, TI), pp. 598–609.
ESEC-FSEESEC-FSE-2018-Hosseini #android #natural language #policy #privacy
Semantic inference from natural language privacy policies and Android code (MBH), pp. 940–943.
ESEC-FSEESEC-FSE-2018-LiuYLJZS #clone detection #detection #named #sketching #transaction
EClone: detect semantic clones in Ethereum via symbolic transaction sketch (HL, ZY, CL, YJ0, WZ, JS), pp. 900–903.
ICSE-2018-AjienkaCC #co-evolution #empirical
An empirical study on the interplay between semantic coupling and co-change of software classes (NA, AC, SC), p. 432.
ICSE-2018-LeTLG #automation #program repair
Overfitting in semantics-based automated program repair (XBDL, FT, DL0, CLG), p. 163.
ICSE-2018-MarianiPZ #generative #named #testing #user interface
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles (LM, MP, DZ), pp. 280–290.
ICSE-2018-MechtaevNNGR #implementation #program repair #using
Semantic program repair using a reference implementation (SM, MDN, YN, LG, AR), pp. 129–139.
CASECASE-2018-HuaH #concept #induction #learning #logic programming
Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming (YH, BH), pp. 1542–1547.
CASECASE-2018-KattiPRS #named
SA-OPC-UA: Introducing Semantics to OPC-UA Application Methods (BK, CP, MR, MS), pp. 1189–1196.
CASECASE-2018-SarkarDA #multi #performance #towards
Semantic knowledge driven utility calculation towards efficient multi-robot task allocation (CS, SD, MA), pp. 144–147.
CCCC-2018-DemangeRP #reasoning
Semantic reasoning about the sea of nodes (DD, YFdR, DP), pp. 163–173.
CGOCGO-2018-BuchwaldFH #library #specification
Synthesizing an instruction selection rule library from semantic specifications (SB, AF, SH), pp. 300–313.
ESOPESOP-2018-BichselGV #fine-grained #probability #source code
Fine-Grained Semantics for Probabilistic Programs (BB, TG, MTV), pp. 145–185.
ESOPESOP-2018-SvendsenPDLV #logic
A Separation Logic for a Promising Semantics (KS, JPP, MD, OL, VV), pp. 357–384.
CAVCAV-2018-BartocciBNR #finite #ltl #monitoring #specification
A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.
CAVCAV-2018-DreossiJS #learning
Semantic Adversarial Deep Learning (TD, SJ, SAS), pp. 3–26.
CSLCSL-2018-AbramskyS
Relating Structure and Power: Comonadic Semantics for Computational Resources (SA, NS), p. 17.
CSLCSL-2018-AhrensHLM
High-Level Signatures and Initial Semantics (BA, AH, AL, MM), p. 22.
CSLCSL-2018-GowersL #game studies #nondeterminism
A Fully Abstract Game Semantics for Countable Nondeterminism (WJG, JDL), p. 18.
IJCARIJCAR-2018-ZhaoS #automation #logic #named
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics (YZ, RAS), pp. 19–27.
VMCAIVMCAI-2018-BuroM #approach #injection
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference (SB, IM), pp. 116–137.
ICSAICSA-2017-ButtingKRW #architecture #component #difference
Semantic Differencing for Message-Driven Component & Connector Architectures (AB, OK, BR, AW), pp. 145–154.
ICSAICSA-2017-CzepaTZKWR #architecture #behaviour #constraints #empirical #on the
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment (CC, HT, UZ, TTTK, EW, CR), pp. 155–164.
ICSAICSA-2017-HoppeEVB #modelling
Digital Space Systems Engineering through Semantic Data Models (TH, HE, AV, OB0), pp. 93–96.
JCDLJCDL-2017-ElekesSB #modelling #on the #similarity #word
On the Various Semantics of Similarity in Word Embedding Models (AE, MS, KB), pp. 139–148.
JCDLJCDL-2017-FafaliosHKN #query #web
Building and Querying Semantic Layers for Web Archives (PF, HH, VK, WN), pp. 11–20.
EDMEDM-2017-NamFC #learning #predict #word
Predicting Short- and Long-Term Vocabulary Learning via Semantic Features of Partial Word Knowledge (SN, GAF, KCT).
ICSMEICSME-2017-LevinY #co-evolution #fine-grained #lens #maintenance
The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes (SL, AY), pp. 35–46.
ICSMEICSME-2017-WangWW17a #machine learning #recognition
Semantics-Aware Machine Learning for Function Recognition in Binary Code (SW0, PW0, DW), pp. 388–398.
MSRMSR-2017-ZhuLRC #dataset #version control
A dataset for dynamic discovery of semantic changes in version controlled software histories (CZ, YL0, JR, MC), pp. 523–526.
CIAACIAA-2017-BerglundMWW #on the #regular expression
On the Semantics of Atomic Subgroups in Practical Regular Expressions (MB, BvdM, BWW, NW), pp. 14–26.
FSCDFSCD-2017-Tasson #probability #programming
Quantitative Semantics for Probabilistic Programming (Invited Talk) (CT), p. 1.
SEFMSEFM-2017-MahmudSL #analysis #embedded #logic #requirements #specification
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (NM, CS, OL), pp. 332–348.
ICFP-2017-Mainland #compilation #optimisation #protocol
Better living through operational semantics: an optimizing compiler for radio protocols (GM), p. 26.
AIIDEAIIDE-2017-FarrellW17a #using
Causal Link Semantics for Narrative Planning Using Numeric Fluents (RF, SGW), pp. 193–199.
FDGFDG-2017-MartensH #game studies #interface #towards
Languages of play: towards semantic foundations for game interfaces (CM, MAH), p. 10.
FDGFDG-2017-TengB #approach #generative #network
A semantic approach to patch-based procedural generation of urban road networks (ET, RB), p. 10.
CIKMCIKM-2017-AzarbonyadDBAMK #word
Words are Malleable: Computing Semantic Shifts in Political and Media Discourse (HA, MD0, KB, AA, MM, JK), pp. 1509–1518.
CIKMCIKM-2017-EkronMY #named
SimMeme: Semantic-Based Meme Search (ME, TM, BY), pp. 2455–2458.
CIKMCIKM-2017-KharlamovSXPMRH #execution
Semantic Rules for Machine Diagnostics: Execution and Management (EK, OS, GX0, RP, GM, MR, IH), pp. 2131–2134.
CIKMCIKM-2017-LeeYHC #metric #ontology #word
Structural-fitting Word Vectors to Linguistic Ontology for Semantic Relatedness Measurement (YYL, TYY, HHH, HHC), pp. 2151–2154.
CIKMCIKM-2017-LeL17a #analysis #interactive #named #topic #visualisation
SemVis: Semantic Visualization for Interactive Topical Analysis (TMVL, HWL), pp. 2487–2490.
CIKMCIKM-2017-MehdiKSXKBHRR #named #rule-based
SemDia: Semantic Rule-Based Equipment Diagnostics Tool (GM, EK, OS, GX0, EGK, SB0, IH, MR, TAR), pp. 2507–2510.
CIKMCIKM-2017-PhanSTHL #ambiguity #named
NeuPL: Attention-based Semantic Matching and Pair-Linking for Entity Disambiguation (MCP, AS, YT, JH, CL), pp. 1667–1676.
CIKMCIKM-2017-SanjoK #predict
Recipe Popularity Prediction with Deep Visual-Semantic Fusion (SS, MK), pp. 2279–2282.
CIKMCIKM-2017-SrivastavaD #graph #retrieval #similarity
Soft Seeded SSL Graphs for Unsupervised Semantic Similarity-based Retrieval (AS, MD), pp. 2315–2318.
CIKMCIKM-2017-SunX0L #interactive #keyword #query
Interactive Spatial Keyword Querying with Semantics (JS, JX, KZ0, CL), pp. 1727–1736.
CIKMCIKM-2017-WangLM #composition
A Matrix-Vector Recurrent Unit Model for Capturing Compositional Semantics in Phrase Embeddings (RW, WL0, CM), pp. 1499–1507.
CIKMCIKM-2017-WangQPZX #graph
Semantic Annotation for Places in LBSN through Graph Embedding (YW, ZQ, JP0, YZ0, JX), pp. 2343–2346.
CIKMCIKM-2017-WangWZCG #online #recommendation #social #topic
Joint Topic-Semantic-aware Social Recommendation for Online Voting (HW0, JW, MZ, JC, MG), pp. 347–356.
CIKMCIKM-2017-XuM #analysis #multimodal #named #network #sentiment
MultiSentiNet: A Deep Semantic Network for Multimodal Sentiment Analysis (NX, WM), pp. 2399–2402.
CIKMCIKM-2017-YaoZHB #named #predict
SERM: A Recurrent Model for Next Location Prediction in Semantic Trajectories (DY, CZ, JHH, JB), pp. 2411–2414.
ECIRECIR-2017-McDonaldMO #classification #using #word
Enhancing Sensitivity Classification with Semantic Features Using Word Embeddings (GM, CM, IO), pp. 450–463.
ECIRECIR-2017-NarducciBLGS #analysis
Temporal Semantic Analysis of Conference Proceedings (FN, PB, PL, MdG, GS), pp. 762–765.
ECIRECIR-2017-SoldainiG #approach #health #learning #rank
Learning to Rank for Consumer Health Search: A Semantic Approach (LS, NG), pp. 640–646.
ICMLICML-2017-AllamanisCKS #learning
Learning Continuous Semantic Representations of Symbolic Expressions (MA, PC, PK, CAS), pp. 80–88.
ICMLICML-2017-KimPKH #learning #named #network #parallel #parametricity #reduction
SplitNet: Learning to Semantically Split Deep Networks for Parameter Reduction and Model Parallelization (JK, YP, GK, SJH), pp. 1866–1874.
ICMTICMT-2017-Boronat #atl #model transformation
Experimentation with a Big-Step Semantics for ATL Model Transformations (AB), pp. 3–18.
MoDELSMoDELS-2017-DurisicMST #case study #co-evolution #metamodelling #modelling #syntax
Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR (DD, CM, MS, MT), pp. 189–198.
MoDELSMoDELS-2017-Tikhonova #domain-specific language #reuse #specification
Reusable Specification Templates for Defining Dynamic Semantics of DSLs (UT), p. 74.
AdaEuropeAdaEurope-2017-MohaqeqiA0 #ada #execution #graph
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.
PEPMPEPM-2017-BerezunJ #compilation #game studies #partial evaluation #λ-calculus
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) (DB, NDJ), pp. 1–11.
PLDIPLDI-2017-ChuWCS #named #proving #query #sql
HoTTSQL: proving query rewrites with univalent SQL semantics (SC, KW, AC, DS), pp. 510–524.
POPLPOPL-2017-AmorimGHKC #metric
A semantic account of metric preservation (AAdA, MG, JH, SyK, IC), pp. 545–556.
POPLPOPL-2017-AssafNSTT #data flow #static analysis
Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.
POPLPOPL-2017-CiminiS #automation #generative
Automatically generating the dynamic semantics of gradually typed languages (MC, JGS), pp. 789–803.
POPLPOPL-2017-KangHLVD #concurrent
A promising semantics for relaxed-memory concurrency (JK, CKH, OL, VV, DD), pp. 175–189.
POPLPOPL-2017-KopczynskiT #named #syntax
LOIS: syntax and semantics (EK, ST), pp. 586–598.
POPLPOPL-2017-LiBCR
Semantic-directed clumping of disjunctive abstract states (HL, FB, BYEC, XR), pp. 32–45.
POPLPOPL-2017-LiuYZ #bisimulation
Analyzing divergence in bisimulation semantics (XL0, TY, WZ), pp. 735–747.
POPLPOPL-2017-SmolkaKFK0 #network #probability
Cantor meets scott: semantic foundations for probabilistic networks (SS, PK0, NF, DK, AS0), pp. 557–571.
PPDPPPDP-2017-GirkaMR #difference
Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.
SASSAS-2017-BouajjaniEL #concurrent #difference #evolution #source code
Abstract Semantic Diffing of Evolving Concurrent Programs (AB, CE, SKL), pp. 46–65.
SASSAS-2017-MastroeniP #framework #verification
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (IM, MP), pp. 232–252.
SASSAS-2017-MukherjeePSDR #abstraction #performance #source code #thread
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (SM, OP, SS, DD, NR), pp. 253–276.
SASSAS-2017-TrostanetskiGK #analysis #composition #difference
Modular Demand-Driven Analysis of Semantic Difference for Program Versions (AT, OG, DK), pp. 405–427.
ASEASE-2017-LeeHR #all about #detection #injection #process
All about activity injection: threats, semantics, and detection (SL, SH, SR), pp. 252–262.
ASEASE-2017-Li #evolution #slicing
Managing software evolution through semantic history slicing (YL0), pp. 1014–1017.
ASEASE-2017-MenariniYG #case study #code review #overview #performance #user study
Semantics-assisted code review: an efficient toolchain and a user study (MM, YY, WGG), pp. 554–565.
ESEC-FSEESEC-FSE-2017-ErataGTK #automation #configuration management #reasoning
A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.
ESEC-FSEESEC-FSE-2017-LeCLGV #named #programming #synthesis
S3: syntax- and semantic-guided repair synthesis via programming by examples (XBDL, DHC, DL0, CLG, WV), pp. 593–604.
ICSE-2017-0004CC #learning #traceability #using
Semantically enhanced software traceability using deep learning techniques (JG0, JC, JCH), pp. 3–14.
ICSE-2017-Tzoref-BrillM #combinator #design #difference #modelling
Syntactic and semantic differencing for combinatorial models of test designs (RTB, SM), pp. 621–631.
GPCEGPCE-2017-GeG #multi #programming
Refining semantics for multi-stage programming (RG0, RG), pp. 2–14.
ASPLOSASPLOS-2017-HuangAZ #debugging #named #performance
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path (JH0, MAB, XZ), pp. 709–722.
CGOCGO-2017-ChakrabortyV #concurrent #formal method
Formalizing the concurrency semantics of an LLVM fragment (SC, VV), pp. 100–110.
ESOPESOP-2017-Atkey #communication #process
Observed Communication Semantics for Classical Processes (RA), pp. 56–82.
ESOPESOP-2017-LeinbergerLS #functional #programming
The Essence of Functional Programming on Semantic Data (ML, RL, SS), pp. 750–776.
ESOPESOP-2017-Staton #commutative #probability #programming
Commutative Semantics for Probabilistic Programming (SS), pp. 855–879.
FASEFASE-2017-RiescoAA #slicing
Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.
CSLCSL-2017-GhicaJL #diagrams
Diagrammatic Semantics for Digital Circuits (DRG, AJ, AL), p. 16.
CSLCSL-2017-Luck #logic #power of
The Power of the Filtration Technique for Modal Logics with Team Semantics (ML), p. 20.
ICSTICST-2017-Al-QahtaniER #api #approach #modelling #ontology #security #traceability
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach (SSAQ, EEE, JR), pp. 80–91.
ICSTICST-2017-ConverseOK #execution #generative #symbolic computation #testing #using
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.
ICSTICST-2017-LinWC #similarity #testing #using #web
Using Semantic Similarity in Crawling-Based Web Application Testing (JWL, FW, PC), pp. 138–148.
WICSAWICSA-2016-PetersWH #composition #design pattern
Architectural Pattern Definition for Semantically Rich Modular Architectures (JP, JMEMvdW, JH), pp. 256–261.
JCDLJCDL-2016-HinzeBCD #effectiveness #library #low cost #metadata
Low-cost Semantic Enhancement to Digital Library Metadata and Indexing: Simple Yet Effective Strategies (AH, DB0, SJC, JSD), pp. 93–102.
EDMEDM-2016-JiangLZL #concept #generative
Generating Semantic Concept Map for MOOCs (ZJ, PL, YZ, XL), pp. 595–596.
EDMEDM-2016-Penteado #assessment #data mining #estimation #mining #scalability #using
Estimation of prerequisite skills model from large scale assessment data using semantic data mining (BEP), pp. 675–677.
EDMEDM-2016-SlaterOBSIH #learning #problem #student
Semantic Features of Math Problems: Relationships to Student Learning and Engagement (SS, JO, RSB, PS, PSI, NTH), pp. 223–230.
ICSMEICSME-2016-LeLG #empirical #program repair #synthesis
Empirical Study on Synthesis Engines for Semantics-Based Program Repair (XBDL, DL0, CLG), pp. 423–427.
ICSMEICSME-2016-LevinY #developer #maintenance #predict #process #using
Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles (SL, AY), pp. 463–467.
SANERSANER-2016-HuZLG #architecture #comparison #comprehension
Cross-Architecture Binary Semantics Understanding via Similar Code Comparison (YH, YZ0, JL, DG), pp. 57–67.
SEFMSEFM-2016-Agha #abstraction #analysis #concurrent #modelling #problem #tool support
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) (GA), pp. 3–8.
CoGCIG-2016-SaccoLY #approach #game studies #generative
A holistic approach for semantic-based game generation (OS, AL, GNY), pp. 1–8.
CIKMCIKM-2016-EbrahimiD #personalisation #word
Personalized Semantic Word Vectors (JE, DD), pp. 1925–1928.
CIKMCIKM-2016-GuoFAC16a #information retrieval #word
Semantic Matching by Non-Linear Word Transportation for Information Retrieval (JG, YF, QA, WBC), pp. 701–710.
CIKMCIKM-2016-KusmierczykN #online #topic
Online Food Recipe Title Semantics: Combining Nutrient Facts and Topics (TK, KN), pp. 2013–2016.
CIKMCIKM-2016-XuCLMM #personalisation #recommendation #similarity #using
Tag-Aware Personalized Recommendation Using a Deep-Semantic Similarity Model with Negative Sampling (ZX, CC0, TL, YM, XM), pp. 1921–1924.
ECIRECIR-2016-ChaliU #multi #summary
Multi-document Summarization Based on Atomic Semantic Events and Their Temporal Relationships (YC, MU), pp. 366–377.
ECIRECIR-2016-ChenJYYZ #graph #modelling #probability #topic
Probabilistic Topic Modelling with Semantic Graph (LC0, JMJ, HY, FY, HZ), pp. 240–251.
ECIRECIR-2016-MishraB #wiki
Leveraging Semantic Annotations to Link Wikipedia and News Archives (AM, KB), pp. 30–42.
ICPRICPR-2016-0013LS #3d #approach #retrieval #sketching
A semantic tree-based approach for sketch-based 3D model retrieval (BL0, YL, JS), pp. 3880–3885.
ICPRICPR-2016-Forstner #learning #modelling
A future for learning semantic models of man-made environments (WF), pp. 2475–2485.
ICPRICPR-2016-GarciaHSFTB #segmentation
Semantic segmentation priors for object discovery (GMG, FH, HS, SF, CT, SB), pp. 549–554.
ICPRICPR-2016-HaneP #3d #overview #re-engineering
An overview of recent progress in volumetric semantic 3D reconstruction (CH, MP), pp. 3294–3307.
ICPRICPR-2016-HuLL #learning #named #representation #video
Video2vec: Learning semantic spatio-temporal embeddings for video representation (ShH, YL, BL), pp. 811–816.
ICPRICPR-2016-KimV #classification #using
Deep Action Unit classification using a binned intensity loss and semantic context model (EK, SV), pp. 4136–4141.
ICPRICPR-2016-Martinho-Corbishley #identification
Retrieving relative soft biometrics for semantic identification (DMC, MSN, JNC), pp. 3067–3072.
ICPRICPR-2016-NaminAP #2d #3d #higher-order #segmentation #using
2D-3D semantic segmentation using cardinality as higher-order loss (SRN, JMA, LP), pp. 3775–3780.
ICPRICPR-2016-NogueiraMCSS #image #learning
Learning to semantically segment high-resolution remote sensing images (KN, MDM, JC, WRS, JAdS), pp. 3566–3571.
ICPRICPR-2016-OliveauS #classification #image
Semantic-free attributes for image classification (QO, HS), pp. 1577–1582.
ICPRICPR-2016-SharmaCH #architecture #framework
A unified framework for semantic matching of architectural floorplans (DS, CC, GH), pp. 2422–2427.
ICPRICPR-2016-SinoaraRR #classification
Semantic role-based representations in text classification (RAS, RGR, SOR), pp. 2313–2318.
ICPRICPR-2016-SouzaSC #comprehension #learning
Building semantic understanding beyond deep learning from sound and vision (FDMdS, SS, GCC), pp. 2097–2102.
KDDKDD-2016-CaoLWYY #retrieval
Deep Visual-Semantic Hashing for Cross-Modal Retrieval (YC0, ML, JW0, QY0, PSY), pp. 1445–1454.
KDDKDD-2016-LynchAA #image #learning #multimodal #rank #scalability #visual notation
Images Don't Lie: Transferring Deep Visual Semantic Features to Large-Scale Multimodal Learning to Rank (CL, KA, JA), pp. 541–548.
SKYSKY-2016-FragaMPAM
Syntactic-Semantic Extraction of Patterns Applied to the US and European Patents Domain (AF, JLM, EP, LA, VM), pp. 36–43.
SKYSKY-2016-Gallant #modelling
Modeling Semantics sans Mathematical Formalism (RG), pp. 44–54.
ECOOPECOOP-2016-PoulsenNTV #layout #memory management
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (CBP, PN, APT, EV), p. 26.
OnwardOnward-2016-IndelaKND #encryption #framework #interface #towards
Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks (SI, MK, KN, TD), pp. 180–196.
OOPSLAOOPSLA-2016-AnconaC #imperative #object-oriented #type system
Semantic subtyping for imperative object-oriented languages (DA, AC), pp. 568–587.
OOPSLAOOPSLA-2016-KellMS
The missing link: explaining ELF static linking, semantically (SK, DPM, PS), pp. 607–623.
OOPSLAOOPSLA-2016-NienhuisMS #concurrent
An operational semantics for C/C++11 concurrency (KN, KM, PS), pp. 111–128.
OOPSLAOOPSLA-2016-StefanescuPYLR #verification
Semantics-based program verifiers for all languages (AS, DP0, SY, YL, GR), pp. 74–91.
LOPSTRLOPSTR-2016-0001PV #erlang
A Reversible Semantics for Erlang (NN0, AP, GV), pp. 259–274.
PEPMPEPM-2016-AntwerpenNTVW #analysis #constraints #graph
A constraint language for static semantic analysis based on scope graphs (HvA, PN, APT, EV, GW), pp. 49–60.
POPLPOPL-2016-Pichon-Pharabod #concurrent #optimisation
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (JPP, PS), pp. 622–633.
POPLPOPL-2016-RobbinsKS #data type #decompiler #recursion
From MinX to MinC: semantics-driven decompilation of recursive datatypes (ER, AK, TS), pp. 191–203.
PPDPPPDP-2016-YangEMMS #algebra #process
Strand spaces with choice via a process algebra semantics (FY, SE, CAM, JM, SS), pp. 76–89.
ASEASE-2016-LiZRC #precise #refinement #slicing
Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
ASEASE-2016-XuYXXCL #developer #network #online #predict
Predicting semantically linkable knowledge in developer online forums via convolutional neural network (BX, DY, ZX, XX, GC, SL), pp. 51–62.
FSEFSE-2016-HasabnisS #code generation #execution #symbolic computation
Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
ICSE-2016-WangLT #automation #fault #learning #predict
Automatically learning semantic features for defect prediction (SW0, TL, LT0), pp. 297–308.
GPCEGPCE-2016-OmarA #design #implementation #programmable
Programmable semantic fragments: the design and implementation of typy (CO, JA), pp. 81–92.
SLESLE-2016-Findler #lightweight #named
Redex: a language for lightweight semantics engineering (RBF), p. 1.
SLESLE-2016-LuoA #c #configuration management #modelling #named #programming #state machine
BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.
CASECASE-2016-QiuYLFW #comprehension #segmentation
Semantic motion segmentation for urban dynamic scene understanding (FQ, YY0, HL, MF, SW), pp. 497–502.
ESOPESOP-2016-HuangM #probability #programming language
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (DH0, GM), pp. 337–363.
ESOPESOP-2016-Lepigre #strict
A Classical Realizability Model for a Semantical Value Restriction (RL), pp. 476–502.
ESOPESOP-2016-OwensMKT #functional
Functional Big-Step Semantics (SO, MOM, RK, YKT), pp. 589–615.
FASEFASE-2016-CorrodiHP #concurrent #graph #source code
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (CC, AH, CMP), pp. 31–48.
CAVCAV-2016-GuthHSR #named #program analysis
RV-Match: Practical Semantics-Based Program Analysis (DG, CH, MS, GR), pp. 447–453.
CSLCSL-2016-BanaO #logic
Semantics for “Enough-Certainty” and Fitting's Embedding of Classical Logic in S4 (GB, MO), p. 18.
CSLCSL-2016-GradelH
Counting in Team Semantics (EG, SH), p. 18.
CSLCSL-2016-Laird #game studies #polymorphism
Polymorphic Game Semantics for Dynamic Binding (JL), p. 16.
ICSTICST-2016-Dadkhah #generative #testing
Semantic-Based Test Case Generation (MD), pp. 377–378.
ICSTICST-2016-Zuddas #interactive #testing
Semantic Testing of Interactive Applications (DZ), pp. 391–392.
HTHT-2015-AhlersM #challenge #collaboration #concept #network
Everything is Filed under “File”: Conceptual Challenges in Applying Semantic Search to Network Shares for Collaborative Work (DA, MM), pp. 327–328.
JCDLJCDL-2015-HinzeTBMD #ambiguity #library #scalability
Improving Access to Large-scale Digital Libraries ThroughSemantic-enhanced Search and Disambiguation (AH, CTS, DB0, RM, JSD), pp. 147–156.
JCDLJCDL-2015-PintoB #approach #probability
Demystifying the Semantics of Relevant Objects in Scholarly Collections: A Probabilistic Approach (JMGP, WTB), pp. 157–164.
VLDBVLDB-2015-HeGC #corpus #named #using
SEMA-JOIN: Joining Semantically-Related Tables Using Big Table Corpora (YH, KG, XC), pp. 1358–1369.
EDMEDM-2015-JohnPM #detection #graph #problem #question #similarity #word
Semantic Similarity Graphs of Mathematics Word Problems: Can Terminology Detection Help? (RJLJ, RJP, TSM), pp. 452–455.
ITiCSEITiCSE-2015-Kumar #problem
Solving Code-tracing Problems and its Effect on Code-writing Skills Pertaining to Program Semantics (ANK), pp. 314–319.
CIAACIAA-2015-BerglundM #on the #parsing #regular expression
On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.
FMFM-2015-DiekmannHC #set
Semantics-Preserving Simplification of Real-World Firewall Rule Sets (CD, LH, GC), pp. 195–212.
FMFM-2015-SafilianMD #feature model #formal method #modelling
The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
RTARTA-2015-VerguNV #domain-specific language #named #specification
DynSem: A DSL for Dynamic Semantics Specification (VAV, PN, EV), pp. 365–378.
SEFMSEFM-2015-DawC #diagrams #process #uml
An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
ICFPICFP-2015-DannerLR #functional #induction
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
FDGFDG-2015-RyanKMW15a #analysis #game studies #tool support #using
Tools for Game Discovery Built Using Latent Semantic Analysis (JOR, EK, MM, NWF).
FDGFDG-2015-SmithP #generative #logic
Semantic Descriptions for Logical Content Generation (TS0, JAP).
CHICHI-2015-MiksikVLPNGHPIT #3d #interactive #recognition #scalability
The Semantic Paintbrush: Interactive 3D Mapping and Recognition in Large Outdoor Spaces (OM, VV, ML, RP, MN, SG, SLH, PP, SI, PHST), pp. 3317–3326.
CHICHI-2015-PerraultLBZG #memory management #physics
Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection (STP, EL, YPB, SZ, YG), pp. 299–308.
HCIDHM-EH-2015-MamessierDO
Semantically Integrated Human Factors Engineering (SM, DD, MO), pp. 284–294.
HCIDUXU-DD-2015-ChenXNWZS #behaviour #research
Semantic Research of Military Icons Based on Behavioral Experiments and Eye-Tracking Experiments (XJC, CX, YN, HW, JZ, JS), pp. 24–31.
HCIDUXU-DD-2015-Zhang #design #research
Research on the Correspondence Between Designer End Expressions of Product Semantics with the Cognition of User End (LZ), pp. 379–391.
HCIDUXU-IXD-2015-IslamI #comprehension #interface #ontology #set #web
Understanding the Semantics of Web Interface Signs: A Set of Ontological Principals (MNI, AKMNI), pp. 46–53.
HCIHIMI-IKC-2015-LiangG #approach #information management #ontology #safety #web
Improving Knowledge Management in Patient Safety Reporting: A Semantic Web Ontology Approach (CL, YG), pp. 118–128.
HCILCT-2015-DalipiYK #analysis #performance #using
Enhancing the Learner’s Performance Analysis Using SMEUS Semantic E-learning System and Business Intelligence Technologies (FD, SYY, ZK), pp. 208–217.
ICEISICEIS-v2-2015-FissaaGHN #composition #how #question
How Can Semantics and Context Awareness Enhance the Composition of Context-aware Services? (TF, HG, HH, MN), pp. 640–647.
ICEISICEIS-v2-2015-JaouachiKHHJ #image #ontology #rdf #using #web
Semantic Annotation of Images Extracted from the Web using RDF Patterns and a Domain Ontology (RTJ, MTK, NH, OH, MBJ), pp. 137–144.
ICEISICEIS-v2-2015-PereiraD #formal method #logic #uml #using
Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
ICEISICEIS-v2-2015-SouzaVS #analysis
Semantically Enriching the Detrending Step of Time Series Analysis (LdS, MSMGV, MSS), pp. 475–481.
CIKMCIKM-2015-BalogDDI #information retrieval
Eighth Workshop on Exploiting Semantic Annotations in Information Retrieval (ESAIR'15) (KB, JD0, AD, YI), pp. 1945–1946.
CIKMCIKM-2015-ChengWWYC #comprehension
Contextual Text Understanding in Distributional Semantic Space (JC0, ZW, JRW, JY0, ZC0), pp. 133–142.
CIKMCIKM-2015-JinZPDLH #classification #learning #multi
Heterogeneous Multi-task Semantic Feature Learning for Classification (XJ0, FZ, SJP, CD, PL0, QH), pp. 1847–1850.
CIKMCIKM-2015-KimCLYK #analysis
Deep Semantic Frame-Based Deceptive Opinion Spam Analysis (SK, HC, SL, MY, JK), pp. 1131–1140.
CIKMCIKM-2015-PuJWHX #keyword #modelling #topic
Topic Modeling in Semantic Space with Keywords (XP, RJ, GW, DH, GRX), pp. 1141–1150.
CIKMCIKM-2015-ShiZLYYW #network #personalisation #recommendation
Semantic Path based Personalized Recommendation on Weighted Heterogeneous Information Networks (CS, ZZ, PL, PSY, YY, BW0), pp. 453–462.
CIKMCIKM-2015-TymoshenkoM #impact analysis #ranking
Assessing the Impact of Syntactic and Semantic Structures for Answer Passages Reranking (KT, AM), pp. 1451–1460.
CIKMCIKM-2015-WangA #concept #information retrieval #modelling
Concept-Based Relevance Models for Medical and Semantic Information Retrieval (CW, RA), pp. 173–182.
CIKMCIKM-2015-YinDKBZ #constraints #knowledge base
Answering Questions with Complex Semantic Constraints on Open Knowledge Bases (PY, ND, BK, JWB, MZ0), pp. 1301–1310.
ECIRECIR-2015-BansalBV #analysis #towards
Towards Deep Semantic Analysis of Hashtags (PB, RB, VV), pp. 453–464.
ECIRECIR-2015-RuotsaloH
Exploiting Semantic Annotations for Domain-Specific Entity Search (TR, EH), pp. 358–369.
ICMLICML-2015-ChangYXY #detection #using
Complex Event Detection using Semantic Saliency and Nearly-Isotonic SVM (XC, YY, EPX, YY), pp. 1348–1357.
SEKESEKE-2015-Martoglia #information management #named
AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications (RM), pp. 146–151.
SEKESEKE-2015-RibeiroFVOVF #architecture #named #reuse
APRImora: A Semantic Architecture for Patterns Reuse (AAdAR, JLF, LFdMV, AdPO, RMMBV, EJdSF), pp. 465–470.
SIGIRSIGIR-2015-BarzegarSFHD #multi #named
DINFRA: A One Stop Shop for Computing Multilingual Semantic Relatedness (SB, JES, AF, SH, BD), pp. 1027–1028.
SIGIRSIGIR-2015-LiLLDY #image
Zero-shot Image Tagging by Hierarchical Semantic Embedding (XL, SL, WL, XD, GY), pp. 879–882.
SIGIRSIGIR-2015-PanYLNM #scalability #visual notation
Semi-supervised Hashing with Semantic Confidence for Large Scale Visual Search (YP, TY, HL, CWN, TM), pp. 53–62.
SIGIRSIGIR-2015-SalesFHD #named
Linse: A Distributional Semantics Entity Search Engine (JES, AF, SH, BD), pp. 1045–1046.
SIGIRSIGIR-2015-XuWW #collaboration #personalisation #ranking #recommendation
Personalized Semantic Ranking for Collaborative Recommendation (SX, SW, LW), pp. 971–974.
ICMTICMT-2015-ChengMP #atl #execution #research #validation
A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.
MoDELSMoDELS-2015-MaozR #difference #framework
A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
OnwardOnward-2015-LiPPK
Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
LOPSTRLOPSTR-2015-RiescoAA #analysis #maude #memory management #policy #specification
Memory Policy Analysis for Semantics Specifications in Maude (AR0, IMA, MA), pp. 293–310.
PADLPADL-2015-BalducciniKS
Ontology-Driven Data Semantics Discovery for Cyber-Security (MB, SK, JS), pp. 1–16.
PEPMPEPM-2015-KootH #analysis #exception #functional #higher-order #strict #type system
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
PLDIPLDI-2015-ParkSR #javascript #named
KJS: a complete formal semantics of JavaScript (DP, AS, GR), pp. 346–356.
PLDIPLDI-2015-SrinivasanR #synthesis
Synthesis of machine code from semantics (VS, TWR), pp. 596–607.
POPLPOPL-2015-BogdanasR #java #named
K-Java: A Complete Semantics of Java (DB, GR), pp. 445–456.
POPLPOPL-2015-PredaGLM #analysis #automaton #bytecode #similarity
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
PPDPPPDP-2015-AngelisFPP #generative #verification
Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
PPDPPPDP-2015-GallF #formal method
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.
PPDPPPDP-2015-Schmidt-Schauss #call-by #functional
Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.
ASEASE-2015-KeSGB #code search #source code
Repairing Programs with Semantic Code Search (T) (YK, KTS, CLG, YB), pp. 295–306.
ASEASE-2015-LiRC #slicing #version control
Semantic Slicing of Software Version Histories (T) (YL, JR, MC), pp. 686–696.
ESEC-FSEESEC-FSE-2015-ChengGMSSW #formal method
Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies (CHC, TG, CM, JOS, MS, PW), pp. 1010–1013.
ESEC-FSEESEC-FSE-2015-NguyenNDKN #detection #execution #variability
Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
SACSAC-2015-CapelleMHFV #hybrid #recommendation
Bing-SF-IDF+: a hybrid semantics-driven news recommender (MC, MM, FH, FF, DV), pp. 732–739.
SACSAC-2015-ChengKWT #scalability #throughput #web
High throughput indexing for large-scale semantic web data (LC, SK, TEW, GT), pp. 416–422.
SACSAC-2015-IsraelHS #analysis #multi #summary
Semantic analysis for focused multi-document summarization (fMDS) of text (QI, HH, IYS), pp. 339–344.
SACSAC-2015-JuniorSM #approach
An approach for building lexical-semantic resources based on heterogeneous information sources (JGdAJ, US, LBM), pp. 402–408.
SACSAC-2015-KimHC #clustering #documentation #representation
Semantically enriching text representation model for document clustering (HjK, KjH, JyC), pp. 922–925.
SACSAC-2015-TakanoI #correctness #functional #lazy evaluation
Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
GPCEGPCE-2015-El-SharkawyKS #analysis #tool support
Analysing the Kconfig semantics and its analysis tools (SES, AK, KS), pp. 45–54.
CASECASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation
An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CGOCGO-2015-CampanoniHWB #named #parallel
HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.
LCTESLCTES-2015-ProcterHGBA #design #hardware #implementation #verification
Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.
PDPPDP-2015-SoaresRS #concurrent #logic
Revisiting Concurrent Separation Logic and Operational Semantics (PS, AR, SMdS), pp. 484–491.
PPoPPPPoPP-2015-AlSaberK #multi #performance
SemCache++: semantics-aware caching for efficient multi-GPU offloading (NA, MK), pp. 255–256.
PPoPPPPoPP-2015-Golan-GuetaRSY #automation #scalability
Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.
PPoPPPPoPP-2015-ZhangHCB #memory management #transaction
Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
SOSPSOSP-2015-MinKLSK #correctness #debugging #file system
Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
ESOPESOP-2015-BattyMNPS #concurrent #problem #programming language
The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
ESOPESOP-2015-LindleyM
A Semantics for Propositions as Sessions (SL, JGM), pp. 560–584.
FoSSaCSFoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation
Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.
FoSSaCSFoSSaCS-2015-Jaber #game studies
Operational Nominal Game Semantics (GJ), pp. 264–278.
FoSSaCSFoSSaCS-2015-KlinR #algebra #logic
Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.
FoSSaCSFoSSaCS-2015-Vakar #category theory #framework #linear #logic
A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
TACASTACAS-2015-HansenWCNK #model checking #statistics
Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
CSLCSL-2015-BreuvartP #linear #logic #modelling #relational
Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
CSLCSL-2015-GrelloisM #higher-order #linear #logic #model checking #relational
Relational Semantics of Linear Logic and Higher-order Model Checking (CG, PAM), pp. 260–276.
CSLCSL-2015-KontinenMSV #theorem
A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.
ICLPICLP-2015-LeeMW #logic #markov
Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW), pp. 207–220.
ICLPICLP-J-2015-AguadoCPPV #equilibrium #logic
A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
ICLPICLP-J-2015-DassevilleHJD #composition #framework #logic
Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.
LICSLICS-2015-DisneyF #game studies
Game Semantics for Type Soundness (TD, CF), pp. 104–114.
LICSLICS-2015-TsukadaO #game studies #nondeterminism
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
VMCAIVMCAI-2015-CortesiFPT #mobile #policy #privacy #verification
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (AC, PF, MP, OT), pp. 61–79.
WICSAWICSA-2014-BaroniMMW #architecture #modelling #wiki
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
DocEngDocEng-2014-DavisonMM #named #privacy #similarity
P-GTM: privacy-preserving google tri-gram method for semantic text similarity (OD, AM, EEM), pp. 81–84.
JCDLJCDL-2014-JatowtD #framework #word
A framework for analyzing semantic change of words across time (AJ, KD), pp. 229–238.
PODSPODS-2014-ArenasGP #query #web
Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
SIGMODSIGMOD-2014-KalininCZ #data analysis #interactive #using
Interactive data exploration using semantic windows (AK, , SBZ), pp. 505–516.
VLDBVLDB-2014-0034R #named
X-LiSA: Cross-lingual Semantic Annotation (LZ, AR), pp. 1693–1696.
VLDBVLDB-2014-SuchanekP
Semantic Culturomics (FMS, NP), pp. 1215–1218.
VLDBVLDB-2014-ZhangHSLP #fine-grained #mining #named
Splitter: Mining Fine-Grained Sequential Patterns in Semantic Trajectories (CZ, JH, LS, JL, TFLP), pp. 769–780.
CSEETCSEET-2014-Opdahl #development #education
Teaching semantic technologies as part of a software development program (ALO), pp. 203–204.
EDMEDM-2014-KochROL #data flow #re-engineering #statistics
Combination of statistical and semantic data sources for the improvement of software engineering courses (Vision Paper) (MK0, MR, FO, DL), pp. 341–342.
SANERCSMR-WCRE-2014-SantosVA #analysis #clustering #using
Remodularization analysis using semantic clustering (GS, MTV, NA), pp. 224–233.
SCAMSCAM-2014-RaemaekersDV #case study #repository #version control
Semantic Versioning versus Breaking Changes: A Study of the Maven Repository (SR, AvD, JV), pp. 215–224.
LATALATA-2014-KlaudelKD #algebra #logic
Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
FMFM-2014-BaeOM #analysis #multi
Definition, Semantics, and Analysis of Multirate Synchronous AADL (KB, PCÖ, JM), pp. 94–109.
FMFM-2014-BowenR #interactive #modelling
A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.
FMFM-2014-PolikarpovaTFM #collaboration #flexibility #invariant
Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
FMFM-2014-Woodcock
Engineering UToPiA — Formal Semantics for CML (JW), pp. 22–41.
IFMIFM-2014-AsavoaeAR #interprocedural #slicing #towards
Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
IFMIFM-2014-DrossopoulouN #how #policy
How to Break the Bank: Semantics of Capability Policies (SD, JN), pp. 18–35.
RTARTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language
Concurrent Programming Languages and Methods for Semantic Analyses (MSS), pp. 21–30.
SEFMSEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #testing
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SEFMSEFM-2014-MotaFDW #agile #model checking #prototype
Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.
FLOPSFLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering
Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
FLOPSFLOPS-2014-KrienerK #prolog #revisited
Semantics for Prolog with Cut — Revisited (JK, AK), pp. 270–284.
FLOPSFLOPS-2014-Riesco #debugging #declarative #maude #using
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
HaskellHaskell-2014-Morris #haskell
A simple semantics for Haskell overloading (JGM), pp. 107–118.
ICFPICFP-2014-DownenA #composition #continuation
Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
ICFPICFP-2014-FredrikssonG #distributed #execution
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
ICFPICFP-2014-MulliganOGRS #named #reuse
Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.
LISPILC-2014-Nunes-Harwitt14a #approach #code generation #evaluation
Eager Evaluation Isn’t Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation (ANH), p. 79.
FDGFDG-2014-KybartasBE #generative
Integrating semantics and narrative world generation (BAK, RB, EE).
CoGVS-Games-2014-Bennett #framework #game studies #generative
Semantic Content Generation Framework for Game Worlds (MB), pp. 1–8.
CHICHI-2014-CraggsSA #crowdsourcing #named #query #video #web
ThumbReels: query sensitive web video previews based on temporal, crowdsourced, semantic tagging (BC, MKS, JA), pp. 1217–1220.
CHICHI-2014-SetlurM #automation #encoding #generative #visualisation
Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
HCIDHM-2014-MeryS #refinement
The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
HCIDHM-2014-SantosST #information management #ontology #using #web
Using Ontologies and Semantic Web Technology on a Clinical Pedigree Information System (JMS, BSS, LT), pp. 448–459.
HCIDUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric
Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.
HCIDUXU-TMT-2014-MacedoS #difference #evaluation #user interface
Building a Semantic Differential Scale as Tool for Assisting UX Evaluation with Home Appliances (VM, CMS), pp. 308–317.
HCIHCI-AS-2014-FerreiraB #analysis #elicitation #people #requirements
Eliciting Accessibility Requirements for People with Hearing Loss: A Semantic and Norm Analysis (MAMF, RB), pp. 277–288.
HCIHCI-AS-2014-KellerPBS #adaptation #mobile
An Adaptive Semantic Mobile Application for Individual Touristic Exploration (CK, RP, SB, TS), pp. 434–443.
HCIHIMI-DE-2014-AlghamdiT #image #mining #multimodal #retrieval #towards #using
Towards Semantic Image Retrieval Using Multimodal Fusion with Association Rules Mining (RAA, MT), pp. 407–418.
HCIHIMI-DE-2014-KhodaskarL #image #retrieval #using
Content Based Image Retrieval Using Quantitative Semantic Features (AK, SL), pp. 439–448.
HCISCSM-2014-AhnMHNHPM #analysis #network #representation #social #twitter
Social Network Representation and Dissemination of Pre-Exposure Prophylaxis (PrEP): A Semantic Network Analysis of HIV Prevention Drug on Twitter (ZA, MM, JH, YN, CWH, MP, JM), pp. 160–169.
CAiSECAiSE-2014-CarvalhoAG #domain-specific language #ontology #using
Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages (VAdC, JPAA, GG), pp. 488–502.
CAiSECAiSE-2014-Reinhartz-BergerIW #ontology #product line #using #variability
Analyzing Variability of Software Product Lines Using Semantic and Ontological Considerations (IRB, NI, YW), pp. 150–164.
EDOCEDOC-2014-FrancescomarinoRGV #modelling #process
The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
ICEISICEIS-v1-2014-BouzidCFP #approach #enterprise #retrieval
A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises — Application Within STMicroelectronics (SB, CC, CSF, JP), pp. 193–200.
ICEISICEIS-v1-2014-FreireCSS #process #query
Preserving the Original Query Semantics in Routing Processes (CF, NC, DS, ACS), pp. 70–80.
ICEISICEIS-v1-2014-PfaffK #benchmark #distributed #integration #metric #ontology #towards
Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.
ICEISICEIS-v1-2014-SilvaLS #clustering #integration #maintenance
A Proposal to Maintain the Semantic Balance in Cluster-based Data Integration Systems (ERdS, BFL, ACS), pp. 90–98.
ICEISICEIS-v2-2014-FerreiraS #approach #enterprise #implementation #named #towards #web
e-swim: Enterprise Semantic Web Implementation Model — Towards a Systematic Approach to Implement the Semantic Web in Enterprises (RF, IS), pp. 653–658.
ICEISICEIS-v2-2014-GippMBPN #detection #similarity #using #visualisation
Web-based Demonstration of Semantic Similarity Detection Using Citation Pattern Visualization for a Cross Language Plagiarism Case (BG, NM, CB, JP, AN), pp. 677–683.
ICEISICEIS-v2-2014-MaretLL #ad hoc #community #web
A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.
ICEISICEIS-v3-2014-SilvaA14a #design pattern
Adding Semantic Relations among Design Patterns (MARS, JCA), pp. 46–56.
CIKMCIKM-2014-AnnesiCB #composition #kernel
Semantic Compositionality in Tree Kernels (PA, DC, RB), pp. 1029–1038.
CIKMCIKM-2014-KarlgrenBEIKN
Semantic Topology (JK, MB, AE, GI, EK, DN), pp. 1939–1942.
CIKMCIKM-2014-MengCS #analysis #approximate #keyword #query
Semantic Approximate Keyword Query Based on Keyword and Query Coupling Relationship Analysis (XM, LC, JS), pp. 529–538.
CIKMCIKM-2014-ShenHGDM #information retrieval
A Latent Semantic Model with Convolutional-Pooling Structure for Information Retrieval (YS, XH, JG, LD, GM), pp. 101–110.
CIKMCIKM-2014-VineZKSB #similarity
Medical Semantic Similarity with a Neural Language Model (LDV, GZ, BK, LS, PB), pp. 1819–1822.
CIKMCIKM-2014-WangSZS #performance #scalability #similarity
Sparse Semantic Hashing for Efficient Large Scale Similarity Search (QW, BS, ZZ, LS), pp. 1899–1902.
CIKMCIKM-2014-WuZYJL #distributed #named #rdf
SemStore: A Semantic-Preserving Distributed RDF Triple Store (BW, YZ, PY, HJ, LL), pp. 509–518.
ECIRECIR-2014-BueyGETIM #named #query
SQX-Lib: Developing a Semantic Query Expansion System in a Media Group (MGB, ALG, SE, RT, SI, EM), pp. 780–783.
ECIRECIR-2014-KapteinKVB #using #web
Needle Custom Search — Recall-Oriented Search on the Web Using Semantic Annotations (RK, GK, MAAHi'V, ELvdB), pp. 750–753.
ECIRECIR-2014-LiangRR #clustering #documentation #microblog
The Impact of Semantic Document Expansion on Cluster-Based Fusion for Microblog Search (SL, ZR, MdR), pp. 493–499.
ECIRECIR-2014-NarducciPS #named #retrieval
CroSeR: Cross-language Semantic Retrieval of Open Government Data (FN, MP, GS), pp. 793–797.
ICMLICML-c2-2014-LiG #classification #learning #representation
Latent Semantic Representation Learning for Scene Classification (XL, YG), pp. 532–540.
ICPRICPR-2014-Al-HalahRS #learning #metric #similarity #what
What to Transfer? High-Level Semantics in Transfer Metric Learning for Action Similarity (ZAH, LR, RS), pp. 2775–2780.
ICPRICPR-2014-ChenCF #approach #classification #hybrid
A Hybrid Holistic/Semantic Approach for Scene Classification (ZC, ZC, HF), pp. 2299–2304.
ICPRICPR-2014-HalsteadDSF #approach #database #people #video
Locating People in Video from Semantic Descriptions: A New Database and Approach (MH, SD, SS, CF), pp. 4501–4506.
ICPRICPR-2014-HaoXPSK #automation #topic #using
Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing (SH, YX, HP, KS, DK), pp. 3092–3097.
ICPRICPR-2014-LiuKFYG
Model Semantic Relations with Extended Attributes (YL, XK, HF, XY, YG), pp. 2549–2554.
ICPRICPR-2014-LuoJ #encoding #image #learning #retrieval
Learning Semantic Binary Codes by Encoding Attributes for Image Retrieval (JL, ZJ), pp. 279–284.
ICPRICPR-2014-RothermelHWB #generative #modelling #performance #robust #video
Fast and Robust Generation of Semantic Urban Terrain Models from UAV Video Streams (MR, NH, KW, DB), pp. 592–597.
ICPRICPR-2014-SantanaLH #geometry #identification #people
People Semantic Description and Re-identification from Point Cloud Geometry (MCS, JLN, DHS), pp. 4702–4707.
ICPRICPR-2014-SenletEE #locality #visual notation
Hierarchical Semantic Hashing: Visual Localization from Buildings on Maps (TS, TEG, AME), pp. 2990–2995.
ICPRICPR-2014-SiddiquiK
Semantic Urban Maps (JRS, SK), pp. 4050–4055.
ICPRICPR-2014-TegenWHOJMNA #image #segmentation #using
Image Segmentation and Labeling Using Free-Form Semantic Annotation (AT, RW, LH, MO, FJ, DM, PN, ), pp. 2281–2286.
ICPRICPR-2014-ZhuWYJ #learning #modelling #multi #recognition
Multiple-Facial Action Unit Recognition by Shared Feature Learning and Semantic Relation Modeling (YZ, SW, LY, QJ), pp. 1663–1668.
KDDKDD-2014-LeL #representation #visualisation
Semantic visualization for spherical representation (TMVL, HWL), pp. 1007–1016.
KDDKDD-2014-Melli #automation #parsing
Shallow semantic parsing of product offering titles (for better automatic hyperlink insertion) (GM), pp. 1670–1678.
KDIRKDIR-2014-FekiAA #adaptation #image #retrieval
Adaptive Semantic Construction for Diversity-based Image Retrieval (GF, ABA, CBA), pp. 444–449.
KDIRKDIR-2014-KudamaL #random #using
Semantic Annotation of UMLS using Conditional Random Fields (SK, RBL), pp. 335–341.
KDIRKDIR-2014-NagwanshiM #detection #sentiment #using
Sarcasm Detection using Sentiment and Semantic Features (PN, CEVM), pp. 418–424.
KDIRKDIR-2014-RodriguesFF #ontology
Semantic Relatedness with Variable Ontology Density (RR, JF, ALNF), pp. 554–559.
KDIRKDIR-2014-SaiaBC #modelling #recommendation
Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KDIRKDIR-2014-TisserantRP #classification #mining #statistics #twitter
Mining Tweet Data — Statistic and Semantic Information for Political Tweet Classification (GT, MR, VP), pp. 523–529.
KEODKEOD-2014-AliE #collaboration #recommendation
Semantic-based Collaborative Filtering for Enhancing Recommendation (GA, AE), pp. 176–185.
KEODKEOD-2014-Kraines #ontology #order #question #similarity
Can SKOS Ontologies Improve the Accuracy of Measuring Semantic Similarity of Purchase Orders? (SBK), pp. 248–255.
KEODKEOD-2014-MhimdiKG #ontology
Construction of Ontology for Semantic Annotation Resume (NM, WBAK, HHBG), pp. 223–229.
KEODKEOD-2014-Missikoff
Semantics of Innovation (MM), pp. 1–9.
KMISKMIS-2014-AngiusCMPS #classification #social #web
Classification and Indexing of Web Content Based on a Model of Semantic Social Bookmarking (AA, GC, DM, FEP, GS), pp. 313–318.
KMISKMIS-2014-WangABN #recommendation #towards
Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.
KRKR-2014-AsuncionZZ #first-order #logic programming #source code
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).
KRKR-2014-BeekSH #set #web
Rough Set Semantics for Identity on the Web (WB, SS, FvH).
KRKR-2014-DeneckerV #induction #principle #revisited
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).
KRKR-2014-GottlobHKL #logic
Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KRKR-2014-HarrisonLY
The Semantics of Gringo and Infinitary Propositional Formulas (AJH, VL, FY).
KRKR-2014-Lin14a #axiom #first-order #higher-order #induction
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
SEKESEKE-2014-CostaMM #detection #diagrams #equivalence #uml
Detecting Semantic Equivalence in UML Class Diagrams (VOC, RM, LM), pp. 318–323.
SEKESEKE-2014-JimenezCL #component #repository
Semantic-based Repository of Agent Components (MPJ, ADdC, CJPdL), pp. 330–333.
SEKESEKE-2014-SantosBSC #game studies #learning #programming #source code
A Semantic Analyzer for Simple Games Source Codes to Programming Learning (ECOdS, GBB, VHVdS, EC), pp. 522–527.
SEKESEKE-2014-WangKS
An Exploratory Search for Presentation Contents based on Slide Semantic Structure (YW, YK, KS), pp. 665–670.
SEKESEKE-2014-XuL14a #ontology #reasoning #using
Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
SIGIRSIGIR-2014-BastBBH
Semantic full-text search with broccoli (HB, FB, BB, EH), pp. 1265–1266.
SIGIRSIGIR-2014-Sebastian #clustering #predict #using
Cluster links prediction for literature based discovery using latent structure and semantic features (YS), p. 1275.
SIGIRSIGIR-2014-ZhangKQH #detection #word
Continuous word embeddings for detecting local text reuses at the semantic level (QZ, JK, JQ, XH), pp. 797–806.
SIGIRSIGIR-2014-ZhouDG #similarity
Latent semantic sparse hashing for cross-modal similarity search (JZ, GD, YG), pp. 415–424.
BXBX-2014-GrohneLV #bidirectional #dependent type #formal method
Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.
MODELSMoDELS-2014-LangerMK #behaviour #difference #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
SPLCSPLC-2014-DieumegardTP #approach #data flow #library #product line #specification
A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
ECOOPECOOP-2014-CrafaCSST
Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.
ECOOPECOOP-2014-FilarettiM #execution #php
An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
OnwardOnward-2014-SwierstraL #version control
The Semantics of Version Control (WS, AL), pp. 43–54.
OOPSLAOOPSLA-2014-PartushY #correlation #difference
Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.
PPDPPPDP-J-2012-Thielecke14 #on the #parsing
On the semantics of parsing actions (HT), pp. 52–76.
HILTHILT-2014-Larson #specification
Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
LOPSTRLOPSTR-2014-AlvesDF #data access #metamodelling
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (SA, AD, MF), pp. 148–163.
LOPSTRLOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #source code
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.
LOPSTRLOPSTR-2014-GallF #architecture
A Formal Semantics for the Cognitive Architecture ACT-R (DG, TWF), pp. 74–91.
PEPMPEPM-2014-LeatherJLS
Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.
PEPMPEPM-2014-PayetS #android #process
An operational semantics for android activities (ÉP, FS), pp. 121–132.
PEPMPEPM-2014-WangN #bidirectional #revisited
Semantic bidirectionalization revisited (MW, SN), pp. 51–62.
POPLPOPL-2014-AndersonFGJKSW #named #network
NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
POPLPOPL-2014-Castagna0XILP #evaluation #polymorphism #syntax
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
POPLPOPL-2014-Katsumata #monad #parametricity
Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
POPLPOPL-2014-Krebbers #axiom #c #nondeterminism #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
POPLPOPL-2014-MurawskiT #game studies #interface #java
Game semantics for interface middleweight Java (ASM, NT), pp. 517–528.
POPLPOPL-2014-PaganiSV #higher-order #quantum
Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
FSEFSE-2014-FengADA #android #detection #named #static analysis
Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
FSEFSE-2014-LuoMW0Z #comparison #detection #obfuscation #similarity
Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.
SACSAC-2014-KluschMKS #monitoring #named
ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines (MK, APM, PK, AS), pp. 308–315.
SACSAC-2014-OliveiraMB #documentation #towards #xml
Towards semantic diff of XML documents (AO, LM, VB), pp. 833–838.
SACSAC-2014-PatrignaniC #low level
Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
DATEDATE-2014-WangLS #named #parallel
p-OFTL: An object-based semantic-aware parallel flash translation layer (WW, YL, JS), pp. 1–6.
LCTESLCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #worst-case
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
OSDIOSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
PDPPDP-2014-HaeriS #distributed #evaluation #lazy evaluation
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics (SHH, SS), pp. 751–755.
PPoPPPPoPP-2014-Golan-GuetaRSY #automation
Automatic semantic locking (GGG, GR, MS, EY), pp. 385–386.
ESOPESOP-2014-PercontiA #compilation #multi #using #verification
Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
ESOPESOP-2014-PoulsenM
Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.
FASEFASE-2014-CohenM #analysis #configuration management #specification
Semantically Configurable Analysis of Scenario-Based Specifications (BC, SM), pp. 185–199.
FASEFASE-2014-SvenningssonSSANH
An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.
FoSSaCSFoSSaCS-2014-CarraroG #call-by
A Semantical and Operational Account of Call-by-Value Solvability (AC, GG), pp. 103–118.
FoSSaCSFoSSaCS-2014-MurawskiT #exception #game studies
Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.
FoSSaCSFoSSaCS-2014-RotB #algebra #equation
Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.
TACASTACAS-2014-HuangM #specification #synthesis
Symbolic Synthesis for Epistemic Specifications with Observational Semantics (XH, RvdM), pp. 455–469.
WRLAWRLA-2014-MossesV #component #named
FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
WRLAWRLA-2014-ZhangCO #framework #standard #𝕂
A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
ICLPICLP-J-2014-CharalambidisER #higher-order #logic programming
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, , PR), pp. 725–737.
ICLPICLP-J-2014-TachmazidisAF #big data #performance
Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
ISSTAISSTA-2014-AlkhalafAB #difference #validation
Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
LICSLICS-CSL-2014-Perrinel #interactive #on the
On context semantics and interaction nets (MP), p. 10.
ECSAECSA-2013-CuestaMF #architecture #realtime #towards
Towards an Architecture for Managing Big Semantic Data in Real-Time (CEC, MAMP, JDF), pp. 45–53.
DocEngDocEng-2013-Vion-Dury #documentation #integration #owl #using
Using RDFS/OWL to ease semantic integration of structured documents (JYVD), pp. 189–192.
HTHT-2013-AntunovicCTA #interactive #web
Discovering semantic associations from web search interactions (MA, GC, MT, HA), pp. 202–207.
HTHT-2013-DerczynskiMAB #microblog
Microblog-genre noise and impact on semantic annotation accuracy (LD, DM, NA, KB), pp. 21–30.
ICDARICDAR-2013-KrishnanJ #image #retrieval #word
Bringing Semantics in Word Image Retrieval (PK, CVJ), pp. 733–737.
JCDLJCDL-2013-AfiontziKPSTP #evaluation #library #mining
Charting the digital library evaluation domain with a semantically enhanced mining methodology (EA, GK, LP, MS, GT, CP), pp. 125–134.
PODSPODS-2013-BaezaRV #database #graph
Semantic acyclicity on graph databases (PBB, MR, MYV), pp. 237–248.
PODSPODS-2013-HernichKLG #datalog #ontology #reasoning
Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.
SIGMODSIGMOD-2013-LiuTZSLKM #comparison #multi #named #process
CTrace: semantic comparison of multi-granularity process traces (QL, KT, XZ, GS, XL, CK, RM), pp. 1121–1124.
SIGMODSIGMOD-2013-ZhangC #web
InfoGather+: semantic matching and annotation of numeric and time-varying attributes in web tables (MZ, KC), pp. 145–156.
TPDLTPDL-2013-MenesesBSFS #documentation #using
Restoring Semantically Incomplete Document Collections Using Lexical Signatures (LM, HB, SS, RF, FS), pp. 321–332.
TPDLTPDL-2013-SielskiWW #knowledge base #web
Methodology for Dynamic Extraction of Highly Relevant Information Describing Particular Object from Semantic Web Knowledge Base (KS, JW, MW), pp. 260–271.
VLDBVLDB-2013-BergamaschiGILV #data-driven #database #keyword #machine learning #named #relational
QUEST: A Keyword Search System for Relational Data based on Semantic and Machine Learning Techniques (SB, FG, MI, RTL, YV), pp. 1222–1225.
VLDBVLDB-2013-ChenOOB #named
ROSeAnn: Reconciling Opinions of Semantic Annotators (LC, SO, GO, MB), pp. 1238–1241.
VLDBVLDB-2013-ChenOOB13a
ggregating Semantic Annotators (LC, SO, GO, MB), pp. 1486–1497.
VLDBVLDB-2013-LeeL #clustering #graph #query #rdf #scalability
Scaling Queries over Big RDF Graphs with Semantic Hash Partitioning (KL, LL), pp. 1894–1905.
ICPCICPC-2013-Kamiya #clone detection #detection #named
Agec: An execution-semantic clone detection tool (TK), pp. 227–229.
ICSMEICSM-2013-PruijtKB #architecture #case study #comparative #composition #tool support
Architecture Compliance Checking of Semantically Rich Modular Architectures: A Comparative Study of Tool Support (LP, CK, SB), pp. 220–229.
ICSMEICSM-2013-VenkataramaniABM #analysis #repository #scalability
Latent Co-development Analysis Based Semantic Search for Large Code Repositories (RV, AMA, VDB, BM), pp. 372–375.
MSRMSR-2013-HowardGPV #automation #mining #word
Automatically mining software-based, semantically-similar words from comment-code mappings (MJH, SG, LLP, KVS), pp. 377–386.
IFMIFM-2013-CastillosDJKT #composition
A Compositional Automata-Based Semantics for Property Patterns (KCC, FD, JJ, BK, ST), pp. 316–330.
IFMIFM-2013-Ciobaca #automation
From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.
IFMIFM-2013-LiuLACSWD #state machine #uml
A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
TLCATLCA-2013-BerardiT #backtracking #game studies #logic #subclass
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
IFLIFL-2013-VieraS #composition #syntax
First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
FDGFDG-2013-LopesHJB #adaptation #authoring #game studies #mobile
Gameplay semantics for authoring adaptivity in mobile games (RL, KH, LJ, RB), pp. 435–436.
GT-VMTGT-VMT-2013-Corradini #concurrent
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
GT-VMTGT-VMT-2013-ForsH #attribute grammar #editing #reuse #visual notation
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).
HCIHCI-AMTE-2013-BratMP #interactive #model checking
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog (GB, CM, PAP), pp. 290–299.
HCIHCI-AMTE-2013-FleischmannSS #execution #modelling #process
Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
HCIHCI-III-2013-ZhaolaoZWFT #image
Semantic Annotation Method of Clothing Image (LZ, MZ, XW, YF, XT), pp. 289–298.
HCIHCI-UC-2013-KraftT #enterprise #resource management
Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.
HCIHCI-UC-2013-KuramochiOTHN #analysis #community #graph #network #twitter #using
Applying to Twitter Networks of a Community Extraction Method Using Intersection Graph and Semantic Analysis (TK, NO, KT, YH, SN), pp. 314–323.
HCIHIMI-D-2013-MaC
Semantically Structured VDL-Based Iconic Tags System (XM, JPC), pp. 465–474.
HCIOCSC-2013-LambropoulosTKM #community #framework #network #platform
Composites Ideas in COMPOOL Immersion: A Semantics Engineering Innovation Network Community Platform (NL, PT, IK, IM), pp. 385–394.
CAiSECAiSE-2013-AgtK #automation #modelling #network #scalability
Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling (HA, RDK), pp. 610–625.
ICEISICEIS-J-2013-AhmadO13a #architecture #enterprise #ontology
Blueprint of a Semantic Business Process-Aware Enterprise Information Architecture: The EIAOnt Ontology (MA, MO), pp. 520–539.
ICEISICEIS-J-2013-AlvesSCCCWGBGC13a #named #tool support #traceability #web
Fairtrace: Applying Semantic Web Tools and Techniques to the Textile Traceability (BA, MS, FC, ALC, GC, DW, CG, BB, DG, PC), pp. 68–84.
ICEISICEIS-J-2013-GandonBCCFGTMSTV #challenge #social #web
Challenges in Bridging Social Semantics and Formal Semantics on the Web (FG, MB, EC, OC, CFZ, AG, NLT, IM, PS, AT, SV), pp. 3–15.
ICEISICEIS-J-2013-GiordanoTSAF13a #approach #architecture #case study #enterprise #ontology
Joining Data and Maps in the Government Enterprise Architecture by a Semantic Approach: Methodology, Ontology and Case Study (DG, AT, CS, SA, AF), pp. 506–519.
ICEISICEIS-v1-2013-AlvesSCCCWGBGC #named #traceability
Fairtrace — A Semantic-web Oriented Traceability Solution Applied to the Textile Traceability (BA, MS, FC, ALC, GC, DW, CG, BB, DG, PC), pp. 36–45.
ICEISICEIS-v1-2013-BentayebK #adaptation #analysis #constraints
Adapting OLAP Analysis to User’s Constraints through Semantic Hierarchies (FB, RK), pp. 193–200.
ICEISICEIS-v1-2013-Gandon #social
Semantic and Social (Intra)Webs (FG), p. VII.
ICEISICEIS-v1-2013-GiordanoTACF #database #distributed #framework
Integrating Distributed Data Bases in a Semantic Framework — The K-Metropolis Project (DG, AT, SA, AC, AF), pp. 322–328.
ICEISICEIS-v2-2013-BouassidaBA #design #named
P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
ICEISICEIS-v2-2013-ChamekhTB #evolution #ontology #web
Ontology Evolution in the Corporate Semantic Web (FC, GT, DB), pp. 182–189.
ICEISICEIS-v2-2013-JridiL #adaptation #standard #web
Adapting RosettaNet B2B Standard to Semantic Web Technologies (JEJ, GL), pp. 443–450.
ICEISICEIS-v3-2013-AhmadO #approach #architecture #enterprise #process
A New Approach to Semantically Derive Enterprise Information Architecture from Business Process Architecture (MA, MO), pp. 363–369.
ICEISICEIS-v3-2013-ChenHLSD #architecture #enterprise
Semantic Enterprise Architecture Management (WC, CH, ML, JS, PD), pp. 318–325.
ICEISICEIS-v3-2013-DiefenthalerB #analysis #architecture #enterprise #using #web
Gap Analysis in Enterprise Architecture using Semantic Web Technologies (PD, BB), pp. 211–220.
CIKMCIKM-2013-BastB #performance
An index for efficient semantic full-text search (HB, BB), pp. 369–378.
CIKMCIKM-2013-ShirakawaNHN #metric #probability #similarity #using #wiki
Probabilistic semantic similarity measurements for noisy short texts using Wikipedia entities (MS, KN, TH, SN), pp. 903–908.
CIKMCIKM-2013-ZhiltsovA #linked data #modelling #open data
Improving entity search over linked data by modeling latent semantics (NZ, EA), pp. 1253–1256.
ECIRECIR-2013-CarpinetoR #concept #graph #query
Semantic Search Log k-Anonymization with Generalized k-Cores of Query Concept Graph (CC, GR), pp. 110–121.
ECIRECIR-2013-Franco-SalvadorGR #detection #multi #network #using
Cross-Language Plagiarism Detection Using a Multilingual Semantic Network (MFS, PG, PR), pp. 710–713.
ECIRECIR-2013-HegdePH #network #online #social
Semantic Tagging of Places Based on User Interest Profiles from Online Social Networks (VH, JXP, MH), pp. 218–229.
ECIRECIR-2013-KontominasRTP #distributed #named #social
DS4: A Distributed Social and Semantic Search System (DK, PR, CT, EGMP), pp. 832–836.
ECIRECIR-2013-McParlaneMW #detection #recommendation
Detecting Friday Night Party Photos: Semantics for Tag Recommendation (PJM, YM, IW), pp. 756–759.
ECIRECIR-2013-PanchenkoRMNPRF #named #visualisation #word
Serelex: Search and Visualization of Semantically Related Words (AP, PR, OM, HN, AP, AR, CF), pp. 837–840.
ICMLICML-c3-2013-HwangGS #categorisation #visual notation
Analogy-preserving Semantic Embedding for Visual Object Categorization (SJH, KG, FS), pp. 639–647.
KDIRKDIR-KMIS-2013-AtrashAM #enterprise #learning
A Semantic Model for Small and Medium-sized Enterprises to Support Organizational Learning (AA, MHA, CM), pp. 476–483.
KDIRKDIR-KMIS-2013-BerkaniN #collaboration #learning #recommendation
Semantic Collaborative Filtering for Learning Objects Recommendation (LB, ON), pp. 52–63.
KDIRKDIR-KMIS-2013-BoubekeurCD #information management
Semantic-based Knowledge Discovery in Biomedical Literature (FB, SC, YD), pp. 37–44.
KDIRKDIR-KMIS-2013-RaafatZR #database #named
Arabase — A Database Combining Different Arabic Resources with Lexical and Semantic Information (HMR, MAZ, MR), pp. 233–240.
KDIRKDIR-KMIS-2013-SaidiDZC #process #requirements #towards #unification #using
Towards Unification of Requirements Engineering Approaches using Semantics-based Process (IES, TD, NZ, PJC), pp. 443–450.
KEODKEOD-2013-AveiroP13a #approach #enterprise #implementation #ontology
Implementing Organizational Self Awareness — A Semantic Mediawiki based Enterprise Ontology Management Approach (DA, DP), pp. 453–461.
KEODKEOD-2013-ChabaneR #image #ontology #reasoning #retrieval
Semantic Gastroenterological Images Annotation and Retrieval — Reasoning with a Polyp Ontology (YC, CR), pp. 293–300.
KEODKEOD-2013-FiorelliPS #framework #web
A Comprehensive Framework for Semantic Annotation of Web Content (MF, MTP, AS), pp. 245–252.
KEODKEOD-2013-LabadieFR #personalisation
Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.
KEODKEOD-2013-RadlV #information management #web
Potential of Semantic Web Technologies to Support Knowledge Transfer in Forest Management (AR, HV), pp. 387–392.
KEODKEOD-2013-SouissiCG #approach #ontology
A Semantic-based Approach for Ontology Module Extraction (AS, WC, KG), pp. 222–229.
RecSysRecSys-2013-CodinaRC #modelling
Local context modeling with semantic pre-filtering (VC, FR, LC), pp. 363–366.
SEKESEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #source code #using
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.
SEKESEKE-2013-CostaJM #detection #modelling
Semantic Conflicts Detection in Model-driven Engineering (VOC, JMBOJ, LGPM), pp. 656–661.
SEKESEKE-2013-DiaoSYG #automation
A Semantic-based Semi-automated Role Mapping Mechanism (LD, WS, ILY, JG), pp. 14–17.
SEKESEKE-2013-LosadaJ #documentation #identification
Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (BML, CMZJ), pp. 268–272.
SEKESEKE-2013-SantosBC #analysis #education #game studies #modelling #programming
A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education (ECOdS, GBB, EWGC), pp. 668–673.
SEKESEKE-2013-SilvaBLDP #automation #generative #web #web service
Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SEKESEKE-2013-SilvaD #approach
A context-aware approach on semantic trajectories (CS, MARD), pp. 435–440.
SIGIRSIGIR-2013-AnH #analysis #information retrieval #probability
Boosting novelty for biomedical information retrieval through probabilistic latent semantic analysis (XA, JXH), pp. 829–832.
SIGIRSIGIR-2013-BabashzadehHD #information retrieval
Exploiting semantics for improving clinical information retrieval (AB, JH, MD), pp. 801–804.
SIGIRSIGIR-2013-FafaliosT #named #realtime #web
X-ENS: semantic enrichment of web search results at real-time (PF, YT), pp. 1089–1090.
SIGIRSIGIR-2013-FreitasFOC #approach #graph #linked data #natural language #open data #query
Answering natural language queries over linked data graphs: a distributional semantics approach (AF, FFdF, SO, EC), pp. 1107–1108.
SIGIRSIGIR-2013-Molino #modelling #ranking
Semantic models for answer re-ranking in question answering (PM), p. 1146.
SIGIRSIGIR-2013-Moschitti #kernel #learning #rank
Kernel-based learning to rank with syntactic and semantic structures (AM), p. 1128.
SIGIRSIGIR-2013-SonKP #analysis #locality #recommendation
A location-based news article recommendation with explicit localized semantic analysis (JWS, AYK, SBP), pp. 293–302.
SIGIRSIGIR-2013-WangZS #modelling #topic #using
Semantic hashing using tags and topic modeling (QW, DZ, LS), pp. 213–222.
SKYSKY-2013-SuarezMFM #automation #generative #natural language #using
Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
MODELSMoDELS-2013-HamannG #concept #metamodelling #uml
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
MODELSMoDELS-2013-IordanovAAHU #modelling #web
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MODELSMoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #specification
Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
ECOOPECOOP-2013-SummersD #abstraction #recursion
A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.
HILTHILT-2013-CourtieuACZRBHG #coq #formal method #runtime #towards #using
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
LOPSTRLOPSTR-2013-DanvyJ #automaton #reduction
From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.
LOPSTRLOPSTR-2013-FakhrySA #implementation #text-to-text #towards
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
LOPSTRLOPSTR-2013-PoulsenM #composition #generative
Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
PEPMPEPM-2013-Garcia-PerezN #functional #reduction
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
PLDIPLDI-2013-BlackshearL #composition #framework #specification
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
PLDIPLDI-2013-RajaramNSE #implementation #performance
Fast RMWs for TSO: semantics and implementation (BR, VN, SS, ME), pp. 61–72.
POPLPOPL-2013-BenzakenCNS
Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
POPLPOPL-2013-Tate
The sequential semantics of producer effect systems (RT), pp. 15–26.
POPLPOPL-2013-VytiniotisJCR #haskell #logic #named
HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.
PPDPPPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #source code
A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
PPDPPPDP-2013-Garcia-PerezNM #order
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
PPDPPPDP-2013-KrienerKB #coq #prolog #proving
Proofs you can believe in: proving equivalences between Prolog semantics in Coq (JK, AK, SB), pp. 37–48.
PPDPPPDP-2013-SimmonsZ #automaton #logic
A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
QAPLQAPL-2013-GazeauMP #difference #privacy
Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
SASSAS-2013-KimDS #documentation #html #parsing #validation
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SASSAS-2013-PartushY #difference #source code
Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
REER-BR-2013-ValaskiSRM #portuguese #requirements
Apoio Semântico à Engenharia de Requisitos (JV, WS, SSR, AM).
SACSAC-PL-J-2010-RodriguesNPM13
Preserving the original MPI semantics in a virtualized processor environment (ERR, POAN, JP, CLM), pp. 412–421.
SACSAC-PL-J-2011-ViroliBU13
Operational semantics of proto (MV, JB, KU), pp. 633–656.
ASEASE-2013-RayKPR #consistency #detection #nondeterminism
Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
ESEC-FSEESEC-FSE-2013-NguyenNNN #source code #statistics
A statistical semantic language model for source code (TTN, ATN, HAN, TNN), pp. 532–542.
ESEC-FSEESEC-FSE-2013-Tikhonova #domain-specific language #framework
A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.
ICSEICSE-2013-GauthierM #case study #data access #fault #modelling #php #smell
Semantic smells and errors in access control models: a case study in PHP (FG, EM), pp. 1169–1172.
ICSEICSE-2013-NguyenQRC #analysis #named #program repair
SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
ICSEICSE-2013-Zhang
Practical semantic test simplification (SZ), pp. 1173–1176.
SACSAC-2013-AlnusairZY #automation #design #recognition #using
Automatic recognition of design motifs using semantic conditions (AA, TZ, GY), pp. 1062–1067.
SACSAC-2013-Bettini #implementation #java #xtext
Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.
SACSAC-2013-CapelleHHF #recommendation #using
Semantic news recommendation using wordnet and bing similarities (MC, FH, AH, FF), pp. 296–302.
SACSAC-2013-CeccarelliGLNP #query #recommendation
When entities meet query recommender systems: semantic search shortcuts (DC, SG, CL, FMN, RP), pp. 933–938.
SACSAC-2013-ChanHN #layout #using #wiki #word
Computing semantic relatedness using word frequency and layout information of Wikipedia (PC, YH, SN), pp. 282–287.
SACSAC-2013-HahnMPM #composition #web #web service
Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SACSAC-2013-HoelzR #framework
A framework for semantic annotation of digital evidence (BWPH, CGR), pp. 1966–1971.
SACSAC-2013-LarizgoitiaTBLM
Environmental service discovery based on semantically annotated OGC service descriptions (IL, IT, AB, AL, PM), pp. 303–310.
SACSAC-2013-LeclercqS #information management
Enhancing scientific information systems with semantic annotations (EL, MS), pp. 319–324.
SACSAC-2013-LommatzschKA #hybrid #learning #modelling #recommendation
Learning hybrid recommender models for heterogeneous semantic data (AL, BK, SA), pp. 275–276.
SACSAC-2013-MinerviniFdE #predict #rank
Rank prediction for semantically annotated resources (PM, NF, Cd, FE), pp. 333–338.
SACSAC-2013-StevensonYDPMV #network #reasoning #resource management #self
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.
SACSAC-2013-ZiftciK #requirements #testing #traceability
Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.
ESOPESOP-2013-Chargueraud
Pretty-Big-Step Semantics (AC), pp. 41–60.
ESOPESOP-2013-CollingbourneDKQ #analysis #gpu #kernel #verification
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (PC, AFD, JK, SQ), pp. 270–289.
FoSSaCSFoSSaCS-2013-Abou-SalehP
Comodels and Effects in Mathematical Operational Semantics (FAS, DP), pp. 129–144.
FoSSaCSFoSSaCS-2013-HaymanH #graph #modelling #rule-based
Pattern Graphs and Rule-Based Models: The Semantics of Kappa (JH, TH), pp. 1–16.
FoSSaCSFoSSaCS-2013-MurawskiT #game studies
Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.
CADECADE-2013-BeckertB #logic
Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.
CAVCAV-2013-CernyHRRT #concurrent #performance #synthesis
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
CSLCSL-2013-FortierS #proving
Cuts for circular proofs: semantics and cut-elimination (JF, LS), pp. 248–262.
CSLCSL-2013-GianantonioL #game studies
Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.
CSLCSL-2013-Leivant #induction #type system
Global semantic typing for inductive and coinductive computing (DL), pp. 469–483.
CSLCSL-2013-Nishimura #game studies #parallel
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
CSLCSL-2013-WangB #decidability #equation #type system
Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
ICLPICLP-J-2013-AzizCS #bound
Stable model semantics for founded bounds (RAA, GC, PJS), pp. 517–532.
ICLPICLP-J-2013-BartholomewL #on the
On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
LICSLICS-2013-CristescuKV #calculus #composition
A Compositional Semantics for the Reversible p-Calculus (IC, JK, DV), pp. 388–397.
LICSLICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #syntax
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.
LICSLICS-2013-FredrikssonG #automaton #game studies #revisited
Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.
LICSLICS-2013-JungR #logic
Kripke Semantics for Modal Bilattice Logic (AJ, UR), pp. 438–447.
CBSECBSE-2012-AboudCGA #component #modelling
Semantic mappings between service, component and agent models (NAA, EC, EG, PA), pp. 29–34.
WICSA-ECSAWICSA-ECSA-2012-SuYZ #analysis #architecture #component
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
DocEngDocEng-2012-PeroniSV #documentation #lens #using
Faceted documents: describing document characteristics using semantic lenses (SP, DS, FV), pp. 191–194.
HTHT-2012-AbelHHST #social #web
Semantics + filtering + search = twitcident. exploring information in social web streams (FA, CH, GJH, RS, KT), pp. 285–294.
HTHT-2012-KhabiriCK #predict #realtime #web
Predicting semantic annotations on the real-time web (EK, JC, KYK), pp. 219–228.
HTHT-2012-OKeeffeOCLW #adaptation #corpus #hypermedia #modelling #web
Linked open corpus models, leveraging the semantic web for adaptive hypermedia (IO, AO, PC, SL, VW), pp. 321–322.
JCDLJCDL-2012-YiZYYPW #analysis #multi
Improving multi-faceted book search by incorporating sparse latent semantic analysis of click-through logs (DY, YZ, HY, YY, JP, BW), pp. 249–258.
PODSPODS-2012-LetelierPPS #optimisation #query #static analysis #web
Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.
TPDLTPDL-2012-HinzeHSL #case study #documentation #experience #lessons learnt
User-Defined Semantic Enrichment of Full-Text Documents: Experiences and Lessons Learned (AH, RH, AS, MLR), pp. 209–214.
TPDLTPDL-2012-KhooTBALM #documentation #interface #library #repository #towards
Towards Digital Repository Interoperability: The Document Indexing and Semantic Tagging Interface for Libraries (DISTIL) (MK, DT, CB, EGA, XL, DM), pp. 439–444.
TPDLTPDL-2012-OdijkRPPRS #documentation #multi #research
Semantic Document Selection — Historical Research on Collections That Span Multiple Centuries (DO, OdR, MHP, TP, MdR, SS), pp. 215–221.
TPDLTPDL-2012-RisseDPDSS #social #web
Exploiting the Social and Semantic Web for Guided Web Archiving (TR, SD, WP, KD, YS, PS), pp. 426–432.
TPDLTPDL-2012-TryfouT #image #using #visual notation #web
Using Visual Cues for the Extraction of Web Image Semantic Information (GT, NT), pp. 396–401.
TPDLTPDL-2012-WalkowskaW #automation #metadata #ontology #requirements #tool support #web
Advanced Automatic Mapping from Flat or Hierarchical Metadata Schemas to a Semantic Web Ontology — Requirements, Languages, Tools (JW, MW), pp. 260–272.
VLDBVLDB-2012-SinghG #learning #string
Learning Semantic String Transformations from Examples (RS, SG), pp. 740–751.
CSMRCSMR-2012-IslamMSS #multi #testing
A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing (MMI, AM, AS, GS), pp. 21–30.
ICPCICPC-2012-KeivanlooRR #clone detection #detection #named
SeByte: A semantic clone detection tool for intermediate languages (IK, CKR, JR), pp. 247–249.
ICPCICPC-2012-MahmoudNX #approach #traceability
A semantic relatedness approach for traceability link recovery (AM, NN, SX), pp. 183–192.
ICSMEICSM-2012-Al-KofahiNNNN #detection
Detecting semantic changes in Makefile build code (JMAK, HVN, ATN, TTN, TNN), pp. 150–159.
ICSMEICSM-2012-IslamMSKS #algorithm #named #search-based #sorting #testing
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.
ICSMEICSM-2012-KehrerKOS #comprehension #difference #evolution
Understanding model evolution through semantically lifting model differences with SiLift (TK, UK, MO, TS), pp. 638–641.
ICSMEICSM-2012-OuniKSH #refactoring #search-based #towards
Search-based refactoring: Towards semantics preservation (AO, MK, HAS, MSH), pp. 347–356.
ICSMEICSM-2012-WangLJ #collaboration #taxonomy
Inferring semantically related software terms and their taxonomy by leveraging collaborative tagging (SW, DL, LJ), pp. 604–607.
MSRMSR-2012-YangT #word
Inferring semantically related words from software context (JY, LT), pp. 161–170.
WCREWCRE-2012-MisraAKST #clustering
Software Clustering: Unifying Syntactic and Semantic Features (JM, KMA, VSK, SS, GT), pp. 113–122.
DLTDLT-2012-BuchseMV
Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars (MB, AM, HV), pp. 368–379.
ICALPICALP-v2-2012-OngT #game studies #recursion
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
ICALPICALP-v2-2012-RosuS #axiom #formal method #towards
Towards a Unified Theory of Operational and Axiomatic Semantics (GR, AS), pp. 351–363.
FMFM-2012-LazarASEMLR
Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
IFMIFM-2012-BrescianiB
A UTP Semantics of pGCL as a Homogeneous Relation (RB, AB), pp. 191–205.
RTARTA-2012-CousineauH #proving
A Semantic Proof that Reducibility Candidates entail Cut Elimination (DC, OH), pp. 133–148.
RTARTA-2012-Terui #complexity #evaluation #λ-calculus
Semantic Evaluation, Intersection Types and Complexity of Simply Typed λ Calculus (KT), pp. 323–338.
SEFMSEFM-2012-CiobanuKS
A Timed Mobility Semantics Based on Rewriting Strategies (GC, MK, LJS), pp. 141–155.
FLOPSFLOPS-2012-AriolaDHNS #calculus #call-by
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts (ZMA, PD, HH, KN, AS), pp. 32–46.
ICFPICFP-2012-Danielsson #monad #using
Operational semantics using the partiality monad (NAD), pp. 127–138.
CoGVS-Games-2012-KraayenbrinkKTHMMB #reuse
Semantic Crowds: Reusable Population for Virtual Worlds (NK, JK, TT, GdH, FM, SRM, RB), pp. 122–139.
ICGTICGT-2012-SerbanutaR #concurrent #framework #graph transformation #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
CHICHI-2012-EndertFN #interactive #visual notation
Semantic interaction for visual text analytics (AE, PF, CN), pp. 473–482.
CHICHI-2012-SeitlingerL #re-engineering #social
Implicit imitation in social tagging: familiarity and semantic reconstruction (PS, TL), pp. 1631–1640.
CAiSECAiSE-2012-KopkeE #logic
Logical Invalidations of Semantic Annotations (JK, JE), pp. 144–159.
CAiSECAiSE-2012-LyIMR #data transformation #mining #process
Data Transformation and Semantic Log Purging for Process Mining (LTL, CI, JM, SRM), pp. 238–253.
ICEISICEIS-v1-2012-KosorusBK #query #similarity #taxonomy #using
Semantic Similarity between Queries in QA System using a Domain-specific Taxonomy (HK, AB, JK), pp. 241–246.
ICEISICEIS-v2-2012-BoudabousSB #ontology #towards
Towards an Arabic Ontology — Defining Morpho-lexical Patterns for Semantic Relation Extraction (MMB, FS, LHB), pp. 342–348.
ICEISICEIS-v2-2012-LukaszewskiJL #data mining #mining #ontology #using
Attribute Value Ontology — Using Semantics in Data Mining (TL, JJ, AL), pp. 329–334.
CIKMCIKM-2012-BannourH #image #using
Hierarchical image annotation using semantic hierarchies (HB, CH), pp. 2431–2434.
CIKMCIKM-2012-BertinSPR #database #lifecycle #named
CarbonDB: a semantic life cycle inventory database (BB, VMS, JMP, ER), pp. 2683–2685.
CIKMCIKM-2012-ChenHZAHP #category theory #modelling #visual notation
Modeling semantic relations between visual attributes and object categories via dirichlet forest prior (XC, XH, ZZ, YA, TH, EKP), pp. 1263–1272.
CIKMCIKM-2012-ChenPZ
A co-training based method for chinese patent semantic annotation (XC, ZP, CZ), pp. 2379–2382.
CIKMCIKM-2012-CuiMWGL #image #keyword
Semantically coherent image annotation with a learning-based keyword propagation strategy (CC, JM, SW, SG, TL), pp. 2423–2426.
CIKMCIKM-2012-LiHTH #correlation #information management #topic #word
Incorporating word correlation into tag-topic model for semantic knowledge acquisition (FL, TH, XT, XH), pp. 1622–1626.
CIKMCIKM-2012-LiuW #analysis #on the
On the connections between explicit semantic analysis and latent semantic analysis (CL, YMW), pp. 1804–1808.
CIKMCIKM-2012-LuZZX #image #learning #scalability #set
Semantic context learning with large-scale weakly-labeled image set (YL, WZ, KZ, XX), pp. 1859–1863.
CIKMCIKM-2012-LvCC
Discovering personally semantic places from GPS trajectories (ML, LC, GC), pp. 1552–1556.
CIKMCIKM-2012-MoroN #named #network
WiSeNet: building a wikipedia-based semantic network with ontologized relations (AM, RN), pp. 1672–1676.
CIKMCIKM-2012-SymondsBST #encoding
A tensor encoding model for semantic processing (MS, PDB, LS, IT), pp. 2267–2270.
CIKMCIKM-2012-TsatsaronisVN #documentation #named #using
SemaFor: semantic document indexing using semantic forests (GT, IV, KN), pp. 1692–1696.
CIKMCIKM-2012-ZhengWLS #database #ontology #query
Enabling ontology based semantic queries in biomedical database systems (SZ, FW, JJL, JHS), pp. 2651–2654.
ECIRECIR-2012-NeumayerBN12a #effectiveness
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics (RN, KB, KN), pp. 540–543.
ICPRICPR-2012-FengB #concept #detection #image
Utilizing co-occurrence patterns for semantic concept detection in images (LF, BB), pp. 2918–2921.
ICPRICPR-2012-FreytagFRD #kernel #performance #process #segmentation
Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPRICPR-2012-LiuXAL
Semantic superpixel based vehicle tracking (LL, JX, HA, SL), pp. 2222–2225.
ICPRICPR-2012-MengQYMCM #process #recognition
Activity recognition based on semantic spatial relation (LM, LQ, PY, JM, XC, DNM), pp. 609–612.
ICPRICPR-2012-TangW #detection
Semantic Hough Transform based object detection with Partial Least Squares (JT, HW), pp. 3652–3655.
ICPRICPR-2012-VaradarajanV #using #visual notation
Semantic saliency using k-TR theory of visual perception (KMV, MV), pp. 3676–3679.
ICPRICPR-2012-ZenRSRS #categorisation #functional
Enhanced semantic descriptors for functional scene categorization (GZ, NR, JS, ER, NS), pp. 1985–1988.
ICPRICPR-2012-ZhangZHHT #detection #mining
Semantic windows mining in sliding window based object detection (JZ, XZ, YH, KH, TT), pp. 3264–3267.
ICPRICPR-2012-ZhengQ #categorisation
Non-negative Sparse Semantic Coding for text categorization (WZ, YQ), pp. 409–412.
ICPRICPR-2012-ZouKR #image #segmentation #using
Semantic image segmentation using region bank (WZ, KK, JR), pp. 922–925.
KDDKDD-2012-Ma #information management
Semantic search and a new moore’s law effect in knowledge engineering (WYM), p. 586.
KDDKDD-2012-OhKPY #network #realtime
PubMed search and exploration with real-time semantic network construction (JO, TK, SP, HY), pp. 1572–1575.
KDDKDD-2012-ShiZKYLW #named #network #recommendation
HeteRecom: a semantic-based recommendation systemin heterogeneous networks (CS, CZ, XK, PSY, GL, BW), pp. 1552–1555.
KDDKDD-2012-YuSZH #network
Query-driven discovery of semantically similar substructures in heterogeneous networks (XY, YS, PZ, JH), pp. 1500–1503.
KDIRKDIR-2012-AlkouzA #approach #network #social
An Interests Discovery Approach in Social Networks based on a Semantically Enriched Bayesian Network Model (AA, SA), pp. 300–305.
KDIRKDIR-2012-Ananiadou
Extracting Semantically Enriched Events from the Literature (SA).
KDIRKDIR-2012-HavaSK #classification #documentation #network
Contextual Latent Semantic Networks used for Document Classification (OH, MS, PK), pp. 425–430.
KDIRKDIR-2012-MedinaFRF #using #wiki
Measuring Entity Semantic Relatedness using Wikipedia (LASM, ALNF, RR, JF), pp. 431–437.
KDIRKDIR-2012-MiaoLWZ #infinity #modelling #process #topic #wiki
Infinite Topic Modelling for Trend Tracking — Hierarchical Dirichlet Process Approaches with Wikipedia Semantic based Method (YM, CL, HW, LZ), pp. 35–44.
KEODKEOD-2012-TarakciC #fuzzy #modelling #named #ubiquitous
UCASFUM: A Ubiquitous Context-aware Semantic Fuzzy User Modeling System (HT, NKC), pp. 278–283.
KEODKEOD-2012-WandeltM #ontology #summary #towards
Towards Semantic Summaries over Ontologies (SW, RM), pp. 196–201.
KMISKMIS-2012-EmmeneggerLT
Improving Supply-Chain-Management based on Semantically Enriched Risk Descriptions (SE, EL, BT), pp. 70–80.
KMISKMIS-2012-ThonssenL #approach #contract
Semantically Enriched Obligation Management — An Approach for Improving the Handling of Obligations Represented in Contracts (BT, JL), pp. 40–48.
KRKR-2012-GrauJKZ #constraints #evolution #ontology
Ontology Evolution Under Semantic Constraints (BCG, EJR, EK, DZ).
KRKR-2012-SlotaL #equivalence #modelling #robust #source code
Robust Equivalence Models for Semantic Updates of Answer-Set Programs (MS, JL).
KRKR-2012-TosattoBTV #proving
Abstract Normative Systems: Semantics and Proof Theory (SCT, GB, LWNvdT, SV).
KRKR-2012-VlaeminckVBD #complexity #logic #order
Ordered Epistemic Logic: Semantics, Complexity and Applications (HV, JV, MB, MD).
RecSysRecSys-2012-Heitmann #framework #graph #multi #personalisation
An open framework for multi-source, cross-domain personalisation with semantic interest graphs (BH), pp. 313–316.
RecSysRecSys-2012-ZhangTSWY #approach #image #recommendation
A semantic approach to recommending text advertisements for images (WZ, LT, XS, HW, YY), pp. 179–186.
SEKESEKE-2012-ChavesDMNF #interface
Semantic Interfaces Discovery Server (LMC, JRVD, BdAM, JCCN, PPMF), pp. 80–87.
SEKESEKE-2012-DuttaUA #analysis #approach #automation #verification
Requirement Analysis and Automated Verification: A Semantic Approach (AD, PDU, SA), pp. 51–54.
SEKESEKE-2012-FarfelederMK #elicitation #locality #requirements #using
Using Semantic Relatedness and Locality for Requirements Elicitation Guidance (SF, TM, AK), pp. 19–24.
SEKESEKE-2012-GayedLB #forensics #towards #web
Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web (TFG, HL, MB), pp. 406–411.
SEKESEKE-2012-JlaielA #approach #novel #process #reuse #towards
Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.
SEKESEKE-2012-RadulovicG #network #process #recommendation
Semantic Technology Recommendation Based on the Analytic Network Process (FR, RGC), pp. 611–616.
SIGIRSIGIR-2012-HechtCQSRGD
Explanatory semantic relatedness and explicit spatialization for exploratory search (BH, SC, MQ, JS, MR, DG, DD), pp. 415–424.
SIGIRSIGIR-2012-ZhangXCHDALC #identification #information management #sentiment #syntax
Sentiment identification by incorporating syntax, semantics and context information (KZ, YX, YC, DH, DD, AA, WkL, ANC), pp. 1143–1144.
ICMTICMT-2012-WagelaarIRP #co-evolution #emf #virtual machine
Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.
MODELSMoDELS-2012-MaozS #synthesis
Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
ECOOPECOOP-2012-Ancona #induction #object-oriented
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.
OOPSLAOOPSLA-2012-MishneSY #code search #source code
Typestate-based semantic code search over partial programs (AM, SS, EY), pp. 997–1016.
LOPSTRLOPSTR-2012-DandoisV #logic programming #source code
Semantic Code Clones in Logic Programs (CD, WV), pp. 35–50.
PADLPADL-2012-BromanN #equation #modelling #object-oriented
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.
POPLPOPL-2012-EllisonR #c #execution
An executable formal semantics of C with applications (CE, GR), pp. 533–544.
POPLPOPL-2012-RamananandroRL #c++ #resource management
A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
PPDPPPDP-2012-Thielecke #continuation #functional #parsing #recursion
Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
SASSAS-2012-Krishnamurthi #analysis #javascript #web
Semantics and Analyses for JavaScript and the Web (SK), p. 4.
REFSQREFSQ-2012-DaramolaMSB #perspective #reasoning #requirements #research #using
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview (OD, TM, GS, SB), pp. 172–178.
REFSQREFSQ-2012-GenonCTHM #syntax #towards #visual notation
Towards a More Semantically Transparent i* Visual Syntax (NG, PC, HT, PH, DLM), pp. 140–146.
ASEASE-2012-AndersenNLLK
Semantic patch inference (JA, ACN, DL, JLL, SCK), pp. 382–385.
FSEFSE-2012-DiGiuseppeJ #automation #fault
Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
FSEFSE-2012-StoleeE #smt #towards
Toward semantic search via SMT solver (KTS, SGE), p. 25.
ICSEICSE-2012-Bavota #refactoring #using
Using structural and semantic information to support software refactoring (GB), pp. 1479–1482.
ICSEICSE-2012-Stolee #lightweight #source code #specification
Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.
SACSAC-2012-BarabucciPPV #approach
Embedding semantic annotations within texts: the FRETTA approach (GB, SP, FP, FV), pp. 658–663.
SACSAC-2012-BelohlavekV #database #similarity
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases (RB, VV), pp. 840–846.
SACSAC-2012-BrylTGS #novel #web
A novel Framenet-based resource for the semantic web (VB, ST, CG, LS), pp. 360–365.
SACSAC-2012-CalhauF #configuration management #integration #ontology
A Configuration Management task ontology for semantic integration (RFC, RdAF), pp. 348–353.
SACSAC-2012-ChunM #health #integration #social #using #web
Social health data integration using semantic Web (SAC, BM), pp. 392–397.
SACSAC-2012-FanS #automation #collaboration #dependence #programming #realtime
Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SACSAC-2012-FreitasCO #approach #linked data #open data #web
A distributional approach for terminological semantic search on the Linked Data Web (AF, EC, SO), pp. 384–391.
SACSAC-2012-GuidaraCF #approach
Intention based semantic approach for service sourcing (IG, TC, KF), pp. 401–402.
SACSAC-2012-MirizziNSR #recommendation #web
Web 3.0 in action: Vector Space Model for semantic (movie) Recommendations (RM, TDN, EDS, AR), pp. 403–405.
SACSAC-2012-ViroliPMS #coordination #ecosystem #modelling #pervasive
Pervasive ecosystems: a coordination model based on semantic chemistry (MV, DP, SM, GS), pp. 295–302.
GPCEGPCE-2012-AxelsenK #java #performance #text-to-text
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
DACDAC-2012-GhosalLRTPWTA #analysis #data access #data flow
Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
LCTESLCTES-2012-BouissouC #simulation
An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
WRLAWRLA-J-2010-KatelmanKM12 #set
Rewriting semantics of production rule sets (MK, SK, JM), pp. 929–956.
FoSSaCSFoSSaCS-2012-CrafaVY #parallel #π-calculus
Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
CAVCAV-2012-LahiriHKR #imperative #named #source code
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
ICLPICLP-2012-DeneckerLTV #programming #set
A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.
ICLPICLP-2012-OetschPT #constraints #source code
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
ICLPICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming
A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
ICLPICLP-2012-YouMB #source code
Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs (JHY, JM, YB), pp. 235–246.
ICLPICLP-J-2012-AlvianoFLM #complexity #datalog #decidability #quantifier
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (MA, WF, NL, MM), pp. 701–718.
ICLPICLP-J-2012-Martin #logic programming #source code
Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.
ICSTICST-2012-AichernigJ #constraints #modelling #mutation testing #testing #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICSTICST-2012-DanH #analysis #comparison #float #mutation testing
Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.
ICSTICST-2012-DanH12a #c #mutation testing #named #testing #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICSTICST-2012-PatrickOC #evaluation #named
MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.
IJCARIJCAR-2012-BaazLZ #calculus #effectiveness
Effective Finite-Valued Semantics for Labelled Calculi (MB, OL, AZ), pp. 52–66.
LICSLICS-2012-Atkey #parsing
The Semantics of Parsing with Semantic Actions (RA), pp. 75–84.
LICSLICS-2012-Hoshino #call-by #combinator
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.
LICSLICS-2012-Mellies #diagrams #game studies #string
Game Semantics in String Diagrams (PAM), pp. 481–490.
LICSLICS-2012-Vicary #protocol #quantum
Higher Semantics of Quantum Protocols (JV), pp. 606–615.
VMCAIVMCAI-2012-Nipkow #education #proving
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (TN), pp. 24–38.
WICSAWICSA-2011-BoerV #architecture #case study #experience #information management #wiki
Experiences with Semantic Wikis for Architectural Knowledge Management (RCdB, HvV), pp. 32–41.
DocEngDocEng-2011-QuKWH #case study #metadata
Interoperable metadata semantics with meta-metadata: a use case integrating search engines (YQ, AK, AMW, AH), pp. 171–174.
HTHT-2011-ChiabrandoLLPD #ontology #similarity
Semantic similarity in heterogeneous ontologies (EC, SL, IL, CP, DTD), pp. 153–160.
HTHT-2011-SteichenOW #personalisation #social
Personalisation in the wild: providing personalisation across semantic, social and open-web resources (BS, AO, VW), pp. 73–82.
ICDARICDAR-2011-EmilieBA #constraints #network #physics #recognition #using
Use of Semantic and Physical Constraints in Bayesian Networks for Form Recognition (EP, YB, AB), pp. 946–950.
ICDARICDAR-2011-ForcherADGR #towards
Semantic Logging: Towards Explanation-Aware DAS (BF, SA, AD, MG, TRB), pp. 1140–1144.
JCDLJCDL-2011-SimonHRR
Semantically augmented annotations in digitized map collections (RS, BH, WR, EMR), pp. 199–202.
JCDLJCDL-2011-ZhuangYWZS #experience #music #towards
Towards a new reading experience via semantic fusion of text and music (LZ, ZY, JW, FZ, JS), pp. 149–152.
PODSPODS-2011-ArenasP #query #web
Querying semantic web data with SPARQL (MA, JP), pp. 305–316.
SIGMODSIGMOD-2011-RoyC #database #performance
Location-aware type ahead search on spatial databases: semantics and efficiency (SBR, KC), pp. 361–372.
SIGMODSIGMOD-2011-SolimanIMT #metric #nondeterminism #ranking
Ranking with uncertain scoring functions: semantics and sensitivity measures (MAS, IFI, DM, MT), pp. 805–816.
SIGMODSIGMOD-2011-StoyanovichLMR #named #ranking #visualisation
SkylineSearch: semantic ranking and result visualization for pubmed (JS, ML, WM, KAR), pp. 1247–1250.
SIGMODSIGMOD-2011-WangWW
Finding semantics in time series (PW, HW, WW), pp. 385–396.
TPDLTPDL-2011-DeclerckL #representation
Linguistic and Semantic Representation of the Thompson’s Motif-Index of Folk-Literature (TD, PL), pp. 151–158.
TPDLTPDL-2011-Hennicke #experience #web
Leveraging EAD in a Semantic Web Environment to Enhance the Discovery Experience for the User in Digital Archives (SH), pp. 511–514.
TPDLTPDL-2011-Ivanova #image #library #retrieval
Content-Based Image Retrieval in Digital Libraries of Art Images Utilizing Colour Semantics (KI), pp. 515–518.
TPDLTPDL-2011-KnothRZ #mining #repository #using
Connecting Repositories in the Open Access Domain Using Text Mining and Semantic Data (PK, VR, ZZ), pp. 483–487.
TPDLTPDL-2011-LacastaNTF #keyword #repository
Transformation of a Keyword Indexed Collection into a Semantic Repository: Applicability to the Urban Domain (JL, JNI, JT, GF), pp. 372–383.
TPDLTPDL-2011-TakhirovDA11a
Linking FRBR Entities to LOD through Semantic Matching (NT, FD, TA), pp. 284–295.
VLDBVLDB-2011-VenetisHMPSWMW #web
Recovering Semantics of Tables on the Web (PV, AYH, JM, MP, WS, FW, GM, CW), pp. 528–538.
VLDBVLDB-2012-GoasdoueKLM11 #database #web
View Selection in Semantic Web Databases (FG, KK, JL, IM), pp. 97–108.
CSEETCSEET-2011-Virseda #education #learning #re-engineering
A learning methodology based on semantic tableaux for software engineering education (RdVV), pp. 401–405.
ITiCSEITiCSE-2011-KleinKT #analysis #assessment #automation #using
Automated assessment of short free-text responses in computer science using latent semantic analysis (RK, AK, MT), pp. 158–162.
ITiCSEITiCSE-2011-VirsedaM #debugging #education #source code #verification
An innovative teaching tool based on semantic tableaux for verification and debugging of programs (RdVV, FPM), p. 352.
MSRMSR-2011-LiZ #re-engineering #using #web
Integrating software engineering data using semantic web technologies (YFL, HZ), pp. 211–214.
ICALPICALP-v2-2011-DengH #automaton #markov #on the
On the Semantics of Markov Automata (YD, MH), pp. 307–318.
IFMIFM-J-2009-ColvinH11 #behaviour #csp #specification #using
A semantics for Behavior Trees using CSP with specification commands (RC, IJH), pp. 891–914.
FMFM-2011-Sztipanovits #integration #perspective #physics
Model Integration and Cyber Physical Systems: A Semantics Perspective (JS), p. 1.
RTARTA-2011-SternagelT #composition
Modular and Certified Semantic Labeling and Unlabeling (CS, RT), pp. 329–344.
SEFMSEFM-2011-BlechB #coq #verification
Verification of PLC Properties Based on Formal Semantics in Coq (JOB, SOB), pp. 58–73.
TLCATLCA-2011-BourreauS #game studies #λ-calculus
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
TLCATLCA-2011-RoweB #approximate #object-oriented #programming
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (RNSR, SvB), pp. 229–244.
ICFPICFP-2011-AhmedB #continuation #multi
An equivalence-preserving CPS translation via multi-language semantics (AA, MB), pp. 431–444.
ICFPICFP-2011-GaboardiPP #exclamation
Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
ICFPICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #type system
Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.
ICFPICFP-2011-KrishnaswamiB #user interface #visual notation
A semantic model for graphical user interfaces (NRK, NB), pp. 45–57.
CoGVS-Games-2011-VosinakisP #3d #navigation #social
Virtual Worlds as Information Spaces: Supporting Semantic and Social Navigation in a shared 3D Environment (SV, IP), pp. 220–227.
GCMGCM-2010-GolasBEE11 #graph transformation #interpreter #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
AGTIVEAGTIVE-2011-RossiniLGRL #graph transformation #metamodelling
A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
HCIHCD-2011-BurkhardtNBSK #named #using
SemaZoom: Semantics Exploration by Using a Layer-Based Focus and Context Metaphor (DB, KN, MB, CS, AK), pp. 491–499.
HCIHCD-2011-Lin #communication #design #research #using
Research in the Use of Product Semantics to Communicate Product Design Information (CHL), pp. 556–565.
HCIHCD-2011-WangY
Semantic-Conditioned Peripheral Vision Acuity Fading Awareness (PVAFA) (MCW, MY), pp. 340–347.
HCIHCI-UA-2011-StabNBBK
Interacting with Semantics and Time (CS, KN, MB, DB, AK), pp. 520–529.
HCIHIMI-v1-2011-NazemiBFBK #adaptation #visualisation
Interacting with Semantics: A User-Centered Visualization Adaptation Based on Semantics Data (KN, MB, JF, DB, AK), pp. 239–248.
HCIHIMI-v1-2011-PlumbaumSKA #approach #user interface
My Personal User Interface: A Semantic User-Centric Approach to Manage and Share User Information (TP, KS, MK, SA), pp. 585–593.
HCIOCSC-2011-AliprandiRMTM #dataset #rdf #web #wiki
Extracting Events from Wikipedia as RDF Triples Linked to Widespread Semantic Web Datasets (CA, FR, AM, MT, SM), pp. 90–99.
HCIOCSC-2011-ReisBB #network #personalisation #social
Beyond the Social Search: Personalizing the Semantic Search in Social Networks (JCdR, RB, MCCB), pp. 345–354.
HCIOCSC-2011-WuLL #case study #navigation #wiki
An Exploratory Study of Navigating Wikipedia Semantically: Model and Application (ICW, YSL, CHL), pp. 140–149.
CAiSECAiSE-2011-MoserWHB #analysis #automation #categorisation #empirical #requirements
Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis (TM, DW, MH, SB), pp. 3–17.
CAiSECAiSE-2011-SmirnovRW #abstraction #approach #process
A Semantic Approach for Business Process Model Abstraction (SS, HAR, MW), pp. 497–511.
EDOCEDOC-2011-AzevedoASQG #motivation #ontology
An Ontology-Based Semantics for the Motivation Extension to ArchiMate (CLBA, JPAA, MvS, DACQ, GG), pp. 25–34.
ICEISICEIS-J-2011-LezocheAP #concept #information management #model transformation
Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.
ICEISICEIS-v1-2011-BakshevSMVC #visualisation
Trajectory Semantic Visualization (SB, LS, JAFdM, CAV, MAC), pp. 326–332.
ICEISICEIS-v1-2011-BorovskiySZK #api #enterprise #in memory
Semantically Rich API for In-database Data Manipulation in Main-memory ERP Systems (VB, CS, AZ, WK), pp. 253–260.
ICEISICEIS-v1-2011-MakkiAGJ #evaluation #performance #query
Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment (SKM, SA, YG, MSJ), pp. 169–176.
ICEISICEIS-v1-2011-MarinAV #automation #java #named #ontology
Jar2Ontology — A Tool for Automatic Extraction of Semantic Information from Java Object Code (NM, CSÁ, MAV), pp. 267–276.
ICEISICEIS-v1-2011-VaneaP #metadata #multi #ontology #using
Semantically Enhancing Multimedia Data Warehouses — Using Ontologies as Part of the Metadata (AV, RP), pp. 163–168.
ICEISICEIS-v1-2011-ZdravkovicTP #network #ontology
Local Ontologies for Semantic Interoperability in Supply Chain Networks (MZ, MT, HP), pp. 22–31.
ICEISICEIS-v4-2011-AbramowiczBDFK #interface #web
Web Interface for Semantically Enabled Experts Finding System (WA, EB, JD, AF, MK), pp. 291–296.
ICEISICEIS-v4-2011-SongZC #architecture #enterprise #information management #web
An Architecture for Interoperability of Enterprise Information Systems based on SOA and Semantic Web Technologies (FS, GZ, DC), pp. 431–437.
CIKMCIKM-2011-AumullerR #named
PDFMeat: managing publications on the semantic desktop (DA, ER), pp. 2565–2568.
CIKMCIKM-2011-Bradford #implementation #scalability
Implementation techniques for large-scale latent semantic indexing applications (RBB), pp. 339–344.
CIKMCIKM-2011-CaiZLZ #classification #scalability #wiki
Large-scale question classification in cQA by leveraging Wikipedia semantic knowledge (LC, GZ, KL, JZ), pp. 1321–1330.
CIKMCIKM-2011-CleuziouBLD #automation #framework
A pretopological framework for the automatic construction of lexical-semantic structures from texts (GC, DB, VL, GD), pp. 2453–2456.
CIKMCIKM-2011-CroceMB #dependence #kernel
Semantic convolution kernels over dependency trees: smoothed partial tree kernel (DC, AM, RB), pp. 2013–2016.
CIKMCIKM-2011-DadzieUZW #ide #information management
An integrated environment for semantic knowledge work (ASD, VSU, ZZ, PW), pp. 2529–2532.
CIKMCIKM-2011-GottronAS #analysis
Insights into explicit semantic analysis (TG, MA, BS), pp. 1961–1964.
CIKMCIKM-2011-HuTL #microblog #using
Enhancing accessibility of microblogging messages using semantic knowledge (XH, LT, HL), pp. 2465–2468.
CIKMCIKM-2011-LiCBZH #clustering
Facilitating pattern discovery for relation extraction with semantic-signature-based clustering (YL, VC, SB, HZ, HH), pp. 1415–1424.
CIKMCIKM-2011-NavigliFSLA #ambiguity #categorisation #learning #modelling #word
Two birds with one stone: learning semantic models for text categorization and word sense disambiguation (RN, SF, AS, OLdL, EA), pp. 2317–2320.
CIKMCIKM-2011-RiveroHRC #benchmark #metric #on the #ontology
On benchmarking data translation systems for semantic-web ontologies (CRR, IH, DR, RC), pp. 1613–1618.
CIKMCIKM-2011-VirgilioOTT #flexibility #information management
Semantic data markets: a flexible environment for knowledge management (RDV, GO, LT, RT), pp. 1559–1564.
ECIRECIR-2011-DinhT #information retrieval
Combining Global and Local Semantic Contexts for Improving Biomedical Information Retrieval (DD, LT), pp. 375–386.
ECIRECIR-2011-KoolenK #effectiveness #question #retrieval
Are Semantically Related Links More Effective for Retrieval? (MK, JK), pp. 92–103.
ECIRECIR-2011-Rehurek #analysis
Subspace Tracking for Latent Semantic Analysis (RR), pp. 289–300.
ECIRECIR-2011-RusinolAKTL #image #interactive #retrieval #visual notation
Interactive Trademark Image Retrieval by Fusing Semantic and Visual Content (MR, DA, DK, RT, JL), pp. 314–325.
KDDKDD-2011-LeeOYK #privacy #using
Protecting location privacy using location semantics (BL, JO, HY, JK), pp. 1289–1297.
KDDKDD-2011-MukerjeePG #algorithm #framework #linear #mining #platform #sql
Linear scale semantic mining algorithms in microsoft SQL server’s semantic platform (KM, TP, SG), pp. 213–221.
KDDKDD-2011-YeSLYJ #network #on the #social
On the semantic annotation of places in location-based social networks (MY, DS, WCL, PY, KJ), pp. 520–528.
KDIRKDIR-2011-ArmanoGV #concept #using
Semantic Enrichment of Contextual Advertising by using Concepts (GA, AG, EV), pp. 232–237.
KDIRKDIR-2011-DeruyverH #approach #consistency #graph #image #information management
Semantic Graphs and Arc Consistency Checking — The Renewal of an Old Approach for Information Extraction from Images (AD, YH), pp. 515–522.
KDIRKDIR-2011-JeongY #approach #proximity #summary
An Approach for Combining Semantic Information and Proximity Information for Text Summarization (HJ, YY), pp. 427–432.
KDIRKDIR-2011-KharratJG #multi
Semantic Relationships between Multimedia Resources (MK, AJ, FG), pp. 342–347.
KDIRKDIR-2011-MukerjeePG #database #documentation #mining #relational
Semantic Mining of Documents in a Relational Database (KM, TP, SG), pp. 146–158.
KDIRKDIR-2011-Osuna-OntiverosLS #approach #clustering #documentation
A Semantic Clustering Approach for Indexing Documents (DOO, ILA, VSS), pp. 288–293.
KEODKEOD-2011-AarnioSK #industrial #lightweight
A Lightweight Element Matching Method for Industrial Terminology Harmonization — Exploiting Minimal Semantics based on Naming Conventions (PA, SS, KK), pp. 390–395.
KEODKEOD-2011-AbbesZN #learning #ontology
Evaluating Semantic Classes Used for Ontology Building and Learning from Texts (SBA, HZ, AN), pp. 445–448.
KEODKEOD-2011-BeheNGK #3d #multi
Semantic Management of Intelligent Multi-agents Systems in a 3D Environment (FB, CN, SG, AK), pp. 91–98.
KEODKEOD-2011-FukumotoS #classification #clustering #graph #word
Semantic Classification of Unknown Words based on Graph-based Semi-supervised Clustering (FF, YS), pp. 37–46.
KEODKEOD-2011-GaignardMWG #concept #parametricity #runtime
Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
KEODKEOD-2011-HmidaCBN #3d #approach #detection #ontology
From 3D Point Clouds to Semantic Objects — An Ontology-based Detection Approach (HBH, CC, FB, CN), pp. 255–260.
KEODKEOD-2011-LimYSH #metric #modelling #robust
Robust Semantic World Modeling by Beta Measurement Likelihood in a Dynamic Indoor Environment (GHL, CY, IHS, SWH), pp. 311–316.
KEODKEOD-2011-LunesuPC #approach
Approach to Manage Semantic Informations from UGC (MIL, FEP, GC), pp. 470–473.
KEODKEOD-2011-ModicaT
A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.
KEODKEOD-2011-PileggiFT #ecosystem #network
Enabling Semantic Ecosystems among Heterogeneous Cognitive Networks (SFP, CFL, VT), pp. 487–492.
KEODKEOD-2011-PinchukINDBP #analysis #distributed #visual notation
Augmenting Semantics to Distributed Agents Logs — Enabling Graphical After Action Analysis of Federated Agents Logs (RP, SI, TN, TD, CB, GP), pp. 232–241.
KEODKEOD-2011-TissaouiAHL #evolution #named #ontology
EvOnto — Joint Evolution of Ontologies and Semantic Annotations (AT, NAG, NH, PL), pp. 226–231.
KEODKEOD-2011-TutcherRE #development #maintenance #monitoring #multi
Integrating Railway Maintenance Data — Development of a Semantic Data Model to Support Condition Monitoring Data from Multiple Sources (JT, CR, JME), pp. 442–444.
KEODKEOD-2011-YanZR #design #distance
An Application of Semantic Distance between Short Texts to Inventive Design (WY, CZM, FR), pp. 261–266.
KEODKEOD-2011-Ylisaukko-ojaHKSV #interface
Semantic Interface for Resource Constrained Wireless Sensors (AYo, PH, JK, JPS, EV), pp. 505–511.
KMISKMIS-2011-AndreasikCU #correctness #health #web
A Semantic Web Technologies-based System for Controlling the Correctness of Medical Procedures in Polish National Health Fund (JA, AC, SU), pp. 331–336.
KMISKMIS-2011-BerkaniCN #community #online
Semantics and Knowledge Capitalization in Online Communities of Practice of e-Learning (LB, AC, ON), pp. 96–104.
KMISKMIS-2011-GesquiereMN #approach #multi
Interoperability between GIS and BIM — A Semantic-based Multi-representation Approach (GG, CM, CN), pp. 359–362.
KMISKMIS-2011-KrainesG #research #similarity
Calculating Semantic Similarity between Computer-understandable Descriptors of Scientific Research (SBK, WG), pp. 146–151.
KMISKMIS-2011-MeloRN #web
Cooperative Question Answering for the Semantic Web (DM, IPR, VBN), pp. 258–263.
KMISKMIS-2011-MendesR11a #development #ontology
The BRIDG Model as the Most Authoritative Resource in Shared Semantics for Ontologies Development in Healthcare Practice (DM, IPR), pp. 379–383.
MLDMMLDM-2011-PiatkowskaMNP #analysis #image #multi #using
A Decision Support System Based on the Semantic Analysis of Melanoma Images Using Multi-elitist PSO and SVM (WP, JM, LN, KP), pp. 362–374.
SEKESEKE-2011-GrabnerMBG #aspect-oriented #documentation #legacy
Exploiting semantic aspects to evolve a text-based search on a legacy document management system (JG, AM, MB, TG), pp. 392–397.
SEKESEKE-2011-LiuWBZ #similarity
A WordNet-based Semantic Similarity Measure Enhanced by Internet-based Knowledge (GL, RW, JB, HMZ), pp. 175–178.
SEKESEKE-2011-MachadoAF #evolution #requirements #using
Using Semantic Annotations for Supporting Requirements Evolution (BNM, LdOA, RdAF), pp. 185–190.
SEKESEKE-2011-Martoglia #development
Facilitate IT-Providing SMEs in Software Development: a Semantic Helper for Filtering and Searching Knowledge (RM), pp. 130–136.
SEKESEKE-2011-MokarizadehKM #automation #evaluation #web #web service
Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S) (SM, PK, MM), pp. 353–356.
SEKESEKE-2011-MoserWHB #analysis #automation #detection #empirical #requirements
Automating the Detection of Complex Semantic Conflicts between Software Requirements (An empirical study on requirements conflict analysis with semantic technology) (TM, DW, MH, SB), pp. 729–735.
SEKESEKE-2011-RadulovicG #modelling #quality
Extending Software Quality Models — A Sample In The Domain of Semantic Technologies (FR, RGC), pp. 25–30.
SEKESEKE-2011-SBPT #image #retrieval
A Model for Knowledge Retrieval based on Semantic Images(S) (HAMS, FDB, RCSP, JLT), pp. 369–372.
SEKESEKE-2011-SunWG #design #network
Semantic Enabled Sensor Network Design (JS, HHW, HG), pp. 179–184.
SIGIRSIGIR-2011-GaoTY #modelling #web
Clickthrough-based latent semantic models for web search (JG, KT, WtY), pp. 675–684.
SIGIRSIGIR-2011-Jiang #graph #query
Query expansion based on a semantic graph model (XJ), pp. 1315–1316.
SIGIRSIGIR-2011-LiDS #concept #recommendation #using
Semantic tag recommendation using concept model (CL, AD, AS), pp. 1159–1160.
SIGIRSIGIR-2011-MoshfeghiPJ #collaboration #using
Handling data sparsity in collaborative filtering using emotion and semantic based features (YM, BP, JMJ), pp. 625–634.
SIGIRSIGIR-2011-SunDLC #network #query #social #visualisation
Visualizing and querying semantic social networks (AS, AD, EPL, KC), pp. 1271–1272.
SIGIRSIGIR-2011-WangA #analysis
Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.
SIGIRSIGIR-2011-WangXLC
Regularized latent semantic indexing (QW, JX, HL, NC), pp. 685–694.
SIGIRSIGIR-2011-WeiHL #analysis #framework #recommendation
A unified framework for recommendations based on quaternary semantic analysis (WC, WH, MLL), pp. 1023–1032.
ICMTICMT-J-2010-TroyaV11 #atl #logic
A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.
ECMFAECMFA-2011-CombemaleGR #domain-specific language
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.
ECMFAECMFA-2011-SvendsenHM #variability
Analyzing Variability: Capturing Semantic Ripple Effects (AS, ØH, BMP), pp. 253–269.
MODELSMoDELS-2011-Al-BatranSH #clone detection #detection #development #embedded #modelling
Semantic Clone Detection for Model-Based Development of Embedded Systems (BAB, BS, BH), pp. 258–272.
MODELSMoDELS-2011-FahrenbergLW #difference #exclamation
Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
MODELSMoDELS-2011-MaozRR #analysis #configuration management #consistency #diagrams
Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
MODELSMoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #towards
Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
ECOOPECOOP-2011-MaozRR #diagrams #difference #named
CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
LOPSTRLOPSTR-2011-Moura
Meta-predicate Semantics (PM), pp. 155–172.
LOPSTRLOPSTR-2011-StroderESGF #analysis #complexity #linear #prolog #termination
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog (TS, FE, PSK, JG, CF), pp. 237–252.
PEPMPEPM-2011-Chitil #lazy evaluation
A semantics for lazy assertions (OC), pp. 141–150.
PEPMPEPM-2011-DanvyJZ
A walk in the semantic park (OD, JJ, IZ), pp. 1–12.
PLDIPLDI-2011-KimR #commutative #data type #linked data #open data #verification
Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.
PPDPPPDP-2011-SabelS #concurrent #haskell
A contextual semantics for concurrent Haskell with futures (DS, MSS), pp. 101–112.
PPDPPPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming
A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
ASEASE-2011-KehrerKT #approach #difference #rule-based #version control
A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.
ASEASE-2011-Witten #documentation #how #representation #wiki
Wikipedia and how to use it for semantic document representation (IHW), p. 1.
ESEC-FSEESEC-FSE-2011-MaozRR #diagrams #difference #named #process
ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
SACSAC-2011-BackP #invariant #proving #source code
Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
SACSAC-2011-DattoloEM #approach
An integrated approach to discover tag semantics (AD, DE, LM), pp. 814–820.
SACSAC-2011-GroppeG #database #query #scalability #web
Parallelizing join computations of SPARQL queries for large semantic web databases (JG, SG), pp. 1681–1686.
SACSAC-2011-HuangH #detection #markov #multi
Semantic event detection in baseball videos based on a multi-output hidden Markov model (YFH, JJH), pp. 929–936.
SACSAC-2011-MichauxBSS #approach #collaboration
A semantically rich approach for collaborative model edition (JM, XB, MS, PS), pp. 1470–1475.
SACSAC-2011-RyengHN #distributed
Site-autonomous distributed semantic caching (NHR, JOH, KN), pp. 1015–1021.
SACSAC-2011-VandicDHF #approach #clustering
A semantic clustering-based approach for searching and browsing tag spaces (DV, JWvD, FH, FF), pp. 1693–1699.
SACSAC-2011-ViroliBC
Core operational semantics of Proto (MV, JB, MC), pp. 1325–1332.
GPCEGPCE-2011-Danvy
Pragmatics for formal semantics (OD), pp. 93–94.
LDTALDTA-2011-JimM
Delayed semantic actions in Yakker (TJ, YM), p. 8.
LDTALDTA-2011-SoderbergH #editing #jastadd #tool support #using
Building semantic editors using JastAdd: tool demonstration (ES, GH), p. 11.
SLESLE-2011-ErwigW #design #exclamation #process
Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
ASPLOSASPLOS-2011-BurnimNS #parallel #source code #specification #thread
Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
CASECASE-2011-ProvostRF #specification
A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.
CCCC-2011-LameedH #array #compilation #jit #matlab #staged
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
PDPPDP-2011-EjarqueMSPKB #approach #scheduling
Job Scheduling with License Reservation: A Semantic Approach (JE, AM, RS, PP, LK, RMB), pp. 47–54.
ESOPESOP-2011-BorgstromGGMG #machine learning
Measure Transformer Semantics for Bayesian Machine Learning (JB, ADG, MG, JM, JVG), pp. 77–96.
ESOPESOP-2011-BurckhardtL #concurrent
Semantics of Concurrent Revisions (SB, DL), pp. 116–135.
ESOPESOP-2011-MurawskiT #algorithm #game studies
Algorithmic Nominal Game Semantics (ASM, NT), pp. 419–438.
FASEFASE-2011-EsmaeilsabzaliD #modelling #quality
Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
FoSSaCSFoSSaCS-2011-Clairambault #estimation #game studies #interactive
Estimation of the Length of Interactions in Arena Game Semantics (PC), pp. 335–349.
FoSSaCSFoSSaCS-2011-GhicaM #abstraction #game studies
Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.
CSLCSL-2011-BeauxisM #network #standard
A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
CSLCSL-2011-Czajka #approach #combinator #logic
A Semantic Approach to Illative Combinatory Logic (LC0), pp. 174–188.
CSLCSL-2011-LoschP
Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
CSLCSL-2011-MoreNS #axiom #concurrent #independence
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence (SMM, PN, BS), pp. 443–457.
CSLCSL-2011-Vardi #branch #linear #perspective
Branching vs. Linear Time: Semantical Perspective (MYV), p. 3.
ICLPICLP-J-2011-Haemmerle11a #constraints #induction
(Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.
ICLPICLP-J-2011-Porto #composition #prolog
A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.
LICSLICS-2011-ChurchillLM #game studies #imperative #proving #source code
Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
LICSLICS-2011-HasuoH #geometry #higher-order #interactive #quantum
Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.
LICSLICS-2011-KrishnaswamiB #source code
Ultrametric Semantics of Reactive Programs (NRK, NB), pp. 257–266.
LICSLICS-2011-MurawskiT #game studies
Game Semantics for Good General References (ASM, NT), pp. 75–84.
LICSLICS-2011-Panangaden
The Meaning of Semantics (PP), pp. 4–5.
DocEngDocEng-2010-AutexierM #documentation #impact analysis
Semantics-based change impact analysis for heterogeneous collections of documents (SA, NM), pp. 97–106.
DocEngDocEng-2010-CahierMZ #documentation #hybrid #modelling #web
Document and item-based modeling: a hybrid method for a socio-semantic web (JPC, XM, LZ), pp. 243–246.
DocEngDocEng-2010-GuoH #documentation
Semantics-enriched document exchange (JG, MSH), pp. 239–242.
DocEngDocEng-2010-Skaf-MolliCM #distributed #documentation #framework #named #wiki
DSMW: a distributed infrastructure for the cooperative edition of semantic wiki documents (HSM, GC, PM), pp. 185–186.
HTHT-2010-HallerA #approach #information management #named #user interface
iMapping: a zooming user interface approach for personal and semantic knowledge management (HH, AA), pp. 119–128.
JCDLJCDL-2010-LiZMMPG #library
oreChem ChemXSeer: a semantic digital library for chemistry (NL, LZ, PM, KTM, EP, CLG), pp. 245–254.
PODSPODS-2010-MeierSWL #optimisation #query
Semantic query optimization in the presence of types (MM, MS, FW, GL), pp. 111–122.
VLDBVLDB-2010-BergamaschiDGOLV #integration #keyword #named
Keymantic: Semantic Keyword-based Searching in Data Integration Systems (SB, ED, FG, MO, RTL, YV), pp. 1637–1640.
VLDBVLDB-2010-BotanDDHMT #analysis #execution #named
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems (IB, RD, ND, LMH, RJM, NT), pp. 232–243.
VLDBVLDB-2010-CaoCJ10a #mining
Mining Significant Semantic Locations From GPS Data (XC, GC, CSJ), pp. 1009–1020.
VLDBVLDB-2010-GolabKKS #quality #using
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux (LG, HJK, FK, DS), pp. 1641–1644.
EDMEDM-2010-YudelsonBMM #adaptation #education #integration #optimisation #using
Using Numeric Optimization To Refine Semantic User Model Integration Of Adaptive Educational Systems (MY, PB, AM, MM), pp. 221–230.
ICSMEICSM-2010-KeivanlooRSR #code search #framework #named #scalability #source code
SE-CodeSearch: A scalable Semantic Web-based source code search infrastructure (IK, LR, PS, JR), pp. 1–5.
WCREWCRE-2010-BavotaLMO #metric
Software Re-Modularization Based on Structural and Semantic Metrics (GB, ADL, AM, RO), pp. 195–204.
ICALPICALP-v2-2010-Laird #call-by #game studies #morphism #polymorphism
Game Semantics for Call-by-Value Polymorphism (JL), pp. 187–198.
IFMIFM-2010-HulsbuschKRSSW #comparison #model transformation
Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
RTARTA-2010-HillsR #approach #composition #logic #program analysis
A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.
SEFMSEFM-2010-ScannielloRT #architecture #empirical #evaluation #using
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation (GS, MR, GT), pp. 103–112.
SFMSFM-2010-PierroHW #probability #program analysis
Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.
ICFPICFP-2010-BiermanGHL #smt #type system
Semantic subtyping with an SMT solver (GMB, ADG, CH, DEL), pp. 105–116.
ICFPICFP-2010-VoigtlanderHMW #bidirectional
Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.
IFLIFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction
Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
AIIDEAIIDE-2010-TutenelSBK #layout #problem
A Semantic Scene Description Language for Procedural Layout Solving Problems (TT, RMS, RB, KJdK).
ICGTICGT-2010-GadducciLV #calculus #higher-order #μ-calculus
Counterpart Semantics for a Second-Order μ-Calculus (FG, ALL, AV), pp. 282–297.
ICGTICGT-2010-Monreale #automaton #calculus #encoding #lts #process #visual notation
LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
CAiSECAiSE-2010-CastanoFM #using #variability #web
Dealing with Matching Variability of Semantic Web Data Using Contexts (SC, AF, SM), pp. 194–208.
CAiSECAiSE-2010-LagunaMC #case study #modelling #on the #question
On the Semantics of the Extend Relationship in Use Case Models: Open-Closed Principle or Clairvoyance? (MAL, JMM, YC), pp. 409–423.
CAiSECAiSE-2010-MrabetBPT #documentation
Supporting Semantic Search on Heterogeneous Semi-structured Documents (YM, NB, NP, MT), pp. 224–229.
EDOCEDOC-2010-CalhauF #approach #integration #ontology
An Ontology-Based Approach for Semantic Integration (RFC, RdAF), pp. 111–120.
ICEISICEIS-AIDSS-2010-MajdoubiTG #modelling #representation
Thesaurus based Semantic Representation in Language Modeling for Medical Article Indexing (JM, MT, FG), pp. 65–74.
ICEISICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process
NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEISICEIS-DISI-2010-GasparSBC #modelling #named #workflow
SW-Ontology — A Proposal for Semantic Modeling of a Scientific Workflow Management System (WG, LMdS, RMMB, FC), pp. 115–120.
ICEISICEIS-DISI-2010-MonticoloGHK #collaboration #evaluation #wiki
Collaborative Knowledge Evaluation with a Semantic Wiki — WikiDesign (DM, SG, VH, AK), pp. 133–141.
ICEISICEIS-ISAS-2010-EliceguiVM #data mining #mining
Combining Semantic Technologies and Data Mining to Endow BSS/OSS Systems with Intelligence — Particularization to an International Telecom Company Tariff System (JME, GTdV, MdFM), pp. 350–355.
ICEISICEIS-J-2010-MausSHD #named
CONTASK: Context-Sensitive Task Assistance in the Semantic Desktop (HM, SS, JH, AD), pp. 177–192.
CIKMCIKM-2010-BilottiECN #constraints #learning #rank
Rank learning for factoid question answering with linguistic and semantic constraints (MWB, JLE, JGC, EN), pp. 459–468.
CIKMCIKM-2010-Grefenstette #using
Use of semantics in real life applications (GG), pp. 5–6.
CIKMCIKM-2010-HanZ #topic #web #wiki
Topic-driven web search result organization by leveraging wikipedia semantic knowledge (XH, JZ), pp. 1749–1752.
CIKMCIKM-2010-KerneQWDLM #metadata #named #representation
Meta-metadata: a metadata semantics language for collection representation applications (AK, YQ, AMW, SD, NL, AM), pp. 1129–1138.
CIKMCIKM-2010-KimBSC #representation
Building a semantic representation for personal information (JK, AB, DAS, WBC), pp. 1741–1744.
CIKMCIKM-2010-KimKLB #interpreter #performance
Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
CIKMCIKM-2010-LiLY #named #query #using
EntityEngine: answering entity-relationship queries using shallow semantics (XL, CL, CY), pp. 1925–1926.
CIKMCIKM-2010-LuWG #multi #nondeterminism
Multi-information fusion for uncertain semantic representations of videos (BL, GW, XG), pp. 1609–1612.
CIKMCIKM-2010-MirizziRNS #generative #online #retrieval
Semantic tags generation and retrieval for online advertising (RM, AR, TDN, EDS), pp. 1089–1098.
CIKMCIKM-2010-SzumlanskiG #automation #concept #network
Automatically acquiring a semantic network of related concepts (SRS, FG), pp. 19–28.
CIKMCIKM-2010-VirgilioB #approach #flexibility #metamodelling #web #web service
A metamodel approach to flexible semantic web service discovery (RDV, DB), pp. 1309–1312.
ECIRECIR-2010-MullerG
Semantically Enhanced Term Frequency (CM, IG), pp. 598–601.
ECIRECIR-2010-TuHCLZ #approach #information retrieval #modelling
Wikipedia-Based Semantic Smoothing for the Language Modeling Approach to Information Retrieval (XT, TH, LC, JL, MZ), pp. 370–381.
ICMLICML-2010-BordesUW #ambiguity #learning #ranking
Label Ranking under Ambiguous Supervision for Learning Semantic Correspondences (AB, NU, JW), pp. 103–110.
ICPRICPR-2010-HanCR10a #concept #interactive #learning #recognition
Semi-supervised and Interactive Semantic Concept Learning for Scene Recognition (XHH, YWC, XR), pp. 3045–3048.
ICPRICPR-2010-JoshiWL #using
Suggesting Songs for Media Creation Using Semantics (DJ, MDW, JL), pp. 3208–3211.
ICPRICPR-2010-LiuA #learning #using
Learning Scene Semantics Using Fiedler Embedding (JL, SA), pp. 3627–3630.
ICPRICPR-2010-PapadopoulosMKS #analysis #approach #image #learning #statistics
A Statistical Learning Approach to Spatial Context Exploitation for Semantic Image Analysis (GTP, VM, IK, MGS), pp. 3138–3142.
ICPRICPR-2010-PassinoPI #image #segmentation
Pyramidal Model for Image Semantic Segmentation (GP, IP, EI), pp. 1554–1557.
ICPRICPR-2010-PullaKJ #image #performance #retrieval
Efficient Semantic Indexing for Image Retrieval (CP, PSK, CVJ), pp. 3276–3279.
KDDKDD-2010-ReichartzKP #dependence #kernel
Semantic relation extraction with kernels over typed dependency trees (FR, HK, GP), pp. 773–782.
KDDKDD-2010-ZouGL #database #graph #nondeterminism #probability
Discovering frequent subgraphs over uncertain graph databases under probabilistic semantics (ZZ, HG, JL), pp. 633–642.
KDIRKDIR-2010-AfoninG #similarity
Calculating Semantic Similarity between Facts (SA, DG), pp. 514–517.
KDIRKDIR-2010-Elloumi-ChaabeneMZMS #ontology
Evolutive Content-based Search System — Semantic Search System based on Case-based-Reasoning and Ontology Enrichment (MEC, NBM, HBZ, AM, DS), pp. 24–34.
KDIRKDIR-2010-HelouA #metric #multi #using
Semantic Measures based on Wordnet using Multiple Information Sources (MAH, AA), pp. 500–503.
KDIRKDIR-2010-KleizaKT #approach #documentation #identification #query #similarity #visualisation #word
Semantic Identification and Visualization of Significant Words within Documents — Approach to Visualize Relevant Words within Documents to a Search Query by Word Similarity Computation (KK, PK, KDT), pp. 481–486.
KDIRKDIR-2010-Rauch #data mining #logic #mining #web
Logic of Discovery, Data Mining and Semantic Web — Position Paper (JR), pp. 342–351.
KDIRKDIR-2010-Studer #lightweight #modelling #process #using #web
Process-oriented Semantic Web Search — Using Lightweight Semantic Models for Supporting the Search Process (RS), p. 7.
KEODKEOD-2010-BelaidAJR #modelling #towards #workflow
Toward a Semantic Management of Geological Modeling Workflows (NB, YAA, SJ, JFR), pp. 282–287.
KEODKEOD-2010-Brunsmann #collaboration #design #ontology #social
The Design of a Social Semantic Search Engine — Preserving Archived Collaborative Engineering Knowledge with Ontology Matching (JB), pp. 200–205.
KEODKEOD-2010-FormicaMPT #enterprise
Semantic Search for Enterprises Competencies Management (AF, MM, EP, FT), pp. 183–192.
KEODKEOD-2010-JohnF #clustering #personalisation #web
The Effect of Semantic Clustering on Web Search Personalization (JDG, FO), pp. 60–69.
KEODKEOD-2010-KermanidisA #game studies #representation
LSA-based Semantic Representation of Action Games (KLK, KA), pp. 218–223.
KEODKEOD-2010-LeraJP #algorithm #ambiguity #concept #ontology
Unsupervised Algorithm for the Concept Disambiguation in Ontologies — Semantic Rules and Voting System to Determine Suitable Senses (IL, CJ, RP), pp. 388–391.
KEODKEOD-2010-LimaFC #approach #collaboration #information management
A Knowledge Engineering Approach Supporting Collaborative Working Environments based on Semantic Services (CL, PF, RC), pp. 123–132.
KEODKEOD-2010-RedavidEI #case study #comparative #distributed #framework #perspective #web #web service
A Comparative Study on Semantic Web Services Frameworks from the Dynamic Orchestration Perspective (DR, FE, LI), pp. 355–359.
KEODKEOD-2010-ValienteRV #modelling #owl #using
Defining the Semantics of It Service Management Models using OWL and SWRL (MCV, DR, CVC), pp. 378–381.
KEODKEOD-2010-YunSNYKK #framework #platform #using #web #workflow
Improving the Workflow of Semantic Web Portals using M/R in Cloud Platform (SY, MS, HN, SKY, HK, HGK), pp. 485–488.
KMISKMIS-2010-AlvaroCPCCGC #information management #microblog #named
miKrow — An Intra-enterprise Semantic Microblogging Tool as a Micro-knowledge Management Solution (, CC, VP, MC, FC, JMGP, JC), pp. 36–43.
KMISKMIS-2010-BrockV #analysis #data flow #using
A Method for Interoperability between Structured Data Sources using Semantic Analysis (DLB, JV), pp. 234–239.
KMISKMIS-2010-DjordjevicGF #enterprise #wiki
Process-centric Enterprise Workspace based on Semantic Wiki (DD, RG, DF), pp. 224–233.
KMISKMIS-2010-FersiniMTAC #generative #machine learning
Semantics and Machine Learning for Building the Next Generation of Judicial Court Management Systems (EF, EM, DT, FA, MC), pp. 51–60.
KMISKMIS-2010-KrainesG #ontology #reuse #using
Supporting Reuse of Knowledge of Failures through Ontology-based Semantic Search (SBK, WG), pp. 164–169.
KMISKMIS-2010-ScerriGH #collaboration
Supporting Digital Collaborative Work through Semantic Technology (SS, GG, SH), pp. 92–101.
KMISKMIS-2010-SonntagR #multimodal #process #towards
Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.
KRKR-2010-Kern-IsbernerT #novel #probability #relational
Novel Semantical Approaches to Relational Probabilistic Conditionals (GKI, MT).
KRKR-2010-Poole #logic #towards
Towards a Logic of Feature-Based Semantic Science Theories (DP).
KRKR-2010-QiZ
Preferential Semantics for Plausible Subsumption in Possibility Theory (GQ, ZZ).
KRKR-2010-Shapiro #logic #syntax
Set-Oriented Logical Connectives: Syntax and Semantics (SCS).
KRKR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).
KRKR-2010-ZhangZ #bound #on the #set #source code
On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).
RecSysRecSys-2010-JancsaryNT #personalisation #towards
Towards context-aware personalization and a broad perspective on the semantics of news articles (JJ, FN, HT), pp. 289–292.
RecSysRecSys-2010-MoldvayBFS #clustering #graph #named #recommendation #social
Tagmantic: a social recommender service based on semantic tag graphs and tag clusters (JM, IB, AF, MS), pp. 345–346.
SEKESEKE-2010-KhounSiavashB #metric #ontology #using
Using the whole structure of ontology for semantic relatedness measurement (EK, ABD), pp. 79–83.
SEKESEKE-2010-LiLK #component #ontology #precise
Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS (CL, XL, JBK), pp. 692–697.
SEKESEKE-2010-NesicGJ #architecture #documentation #integration
Semantic Document Architecture for Desktop Data Integration and Management (SN, DG, MJ), pp. 73–78.
SEKESEKE-2010-SilvaBC #composition #framework #named #workflow
Composer-Science: A Semantic Service Based framework for Workflow Composition in e-Science Projects (LMdS, RMMB, FC), pp. 84–87.
SEKESEKE-2010-ThovexT #analysis #approach #modelling #multi #network #social
Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approach (CT, FT), pp. 548–552.
SIGIRSIGIR-2010-CaputoBS #approach #ranking
From fusion to re-ranking: a semantic approach (AC, PB, GS), pp. 815–816.
SIGIRSIGIR-2010-HerdagdelenCMHHRA #modelling #query
Generalized syntactic and semantic models of query reformulation (AH, MC, DM, MH, KBH, SR, EA), pp. 283–290.
ICMTICMT-2010-TroyaV #atl #logic #towards
Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
MODELSMoDELS-v1-2010-GronnigerRR #diagrams #process #towards
Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.
MODELSMoDELS-v1-2010-RahimW #code generation #consistency #state machine #verification
Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.
SPLCSPLC-2010-HeuerBKLP #diagrams #process #syntax #variability
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
POPLPOPL-2010-JimMW #algorithm
Semantics and algorithms for data-dependent grammars (TJ, YM, DW), pp. 417–430.
PPDPPPDP-2010-Martinez #concurrent #constraints #linear #programming
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.
SASSAS-2010-GawlitzaS #polynomial
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.
SACSAC-2010-Banach
A deidealisation semantics for KAOS (RB), pp. 267–274.
SACSAC-2010-BilascoABDLMMPRYZ #delivery #multi
Semantics for intelligent delivery of multimedia content (IMB, SA, PB, CD, JL, JM, EMG, DP, MR, MY, JZ), pp. 1366–1372.
SACSAC-2010-Bollen #declarative #enterprise #modelling
Fact-oriented declarative semantic enterprise modeling (PB), pp. 167–168.
SACSAC-2010-dAmatoEFFGL #induction #reasoning #web
Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
SACSAC-2010-GroppeG #database #scalability #sorting #web
External sorting for index construction of large semantic web databases (SG, JG), pp. 1373–1380.
SACSAC-2010-HuangT #detection #specification
Semantic scene detection system for baseball videos based on the MPEG-7 specification (YFH, LHT), pp. 941–947.
SACSAC-2010-IbanezVEB #process
Semantically enabled business process discovery (MJI, GV, JE, SB), pp. 1396–1403.
SACSAC-2010-IqbalOS
Semantic content distribution with aggregated profiles (AAI, MO, AS), pp. 1359–1365.
SACSAC-2010-LopesVCTL #assessment #personalisation #web
The semantics of personalised web accessibility assessment (RL, KV, LC, DT, SDL), pp. 1440–1441.
SACSAC-2010-MustaphaZAG #composition #ontology #using
Enhancing semantic search using case-based modular ontology (NBM, HBZ, MAA, HHBG), pp. 1438–1439.
SACSAC-2010-NardiniVP #coordination #tuple
Coordination in open and dynamic environments with TuCSoN semantic tuple centres (EN, MV, EP), pp. 2037–2044.
SACSAC-2010-NetoGBPM #automation #documentation #fault #image
An automatic linking service of document images reducing the effects of OCR errors with latent semantics (RBN, JACG, AB, JP, AAM), pp. 13–17.
SACSAC-2010-SantosAG #ontology
An ontology-based semantic foundation for ARIS EPCs (PSSJ, JPAA, GG), pp. 124–130.
SACSAC-2010-SantosM #composition #documentation #hypermedia #reuse
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse (JAFdS, DCMS), pp. 1892–1897.
SACSAC-2010-SchoutenRBFLH #approach #personalisation
A semantic web-based approach for personalizing news (KS, PR, JB, FF, LL, FH), pp. 854–861.
SACSAC-2010-WeiC #adaptation #mobile #towards
Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.
LDTALDTA-2009-RiescoR10 #implementation #maude
A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.
LDTALDTA-2010-CortesiH #dependence #graph #slicing
Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
SLESLE-2010-Bernstein #question #re-engineering #web
Software Engineering and the Semantic Web: A Match Made in Heaven or in Hell? (AB), pp. 203–205.
SLESLE-2010-BurgerKWA #attribute grammar #metamodelling
Reference Attribute Grammars for Metamodel Semantics (CB, SK, CW, UA), pp. 22–41.
SLESLE-2010-HostO #canonical #identification #implementation #java #using
Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.
DATEDATE-2010-FerroP #modelling #transaction #verification
Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.
HPDCHPDC-2010-UrbaniMB #pipes and filters #web
Massive Semantic Web data compression with MapReduce (JU, JM, HEB), pp. 795–802.
ESOPESOP-2010-AskarovM #classification #framework
A Semantic Framework for Declassification and Endorsement (AA, AM), pp. 64–84.
ESOPESOP-2010-JagadeesanPR #generative #memory management #modelling
Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
ESOPESOP-2010-NakataU #hoare #induction #logic
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.
FASEFASE-2010-EsmaeilsabzaliD #modelling
Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.
FoSSaCSFoSSaCS-2010-MiliusMS #recursion
CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
FoSSaCSFoSSaCS-2010-SchwinghammerYBPR
A Semantic Foundation for Hidden State (JS, HY, LB, FP, BR), pp. 2–17.
TACASTACAS-2010-MalinowskiN #automaton #bound #model checking #partial order #satisfiability
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata (JM, PN), pp. 405–419.
WRLAWRLA-2010-AsavoaeA #abstraction #framework #𝕂
Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.
WRLAWRLA-2010-KatelmanKM #analysis #concurrent
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (MK, SK, JM), pp. 140–156.
WRLAWRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #visual notation
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
WRLAWRLA-2010-SerbanutaR #named #programming language
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
WRLAWRLA-2010-Velardo #concurrent #framework #multi
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (FRV), pp. 191–207.
ICLPICLP-2010-Janhunen10 #constraints #revisited #source code
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.
ICLPICLP-2010-PereiraP10 #logic programming #source code
Tight Semantics for Logic Programs (LMP, AMP), pp. 134–143.
ICLPICLP-J-2010-Delgrande #approach #logic programming #set #source code
A program-level approach to revising logic programs under the answer set semantics (JPD), pp. 565–580.
ICLPICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity
A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.
LICSLICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
LICSLICS-2010-Laird #game studies #polymorphism #programming language
Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
LICSLICS-2010-Larchey-WendlingG
The Undecidability of Boolean BI through Phase Semantics (DLW, DG), pp. 140–149.
TPDLECDL-2009-TonniesB #evaluation #library #quality #roadmap #using
Using Semantic Technologies in Digital Libraries — A Roadmap to Quality Evaluation (ST, WTB), pp. 168–179.
HTHT-2009-CenaFL #social #web
Web 3.0: merging semantic web with social web (FC, RF, PL), pp. 385–386.
HTHT-2009-LesmoMR
Extracting semantic annotations from legal texts (LL, AM, DPR), pp. 167–172.
PODSPODS-2009-DeHaan #equivalence #query
Equivalence of nested queries with mixed semantics (DD), pp. 207–216.
SIGMODSIGMOD-2009-WangPXCSFLYTHS #named #web
Hermes: a travel through semantics on the data web (HW, TP, KX, JC, XS, LF, QL, YY, TT, PH, RS), pp. 1135–1138.
VLDBVLDB-2009-Amer-YahiaRCDY #performance #recommendation
Group Recommendation: Semantics and Efficiency (SAY, SBR, AC, GD, CY), pp. 754–765.
VLDBVLDB-2009-WangSCMKZPY #data transformation #named #using #web
SMDM: Enhancing Enterprise-Wide Master Data Management Using Semantic Web Technologies (XW, XS, FC, LM, NK, KZ, YP, YY), pp. 1594–1597.
ICSMEICSM-2009-Reiss #code search
Semantics-based code search demonstration proposal (SPR), pp. 385–386.
WCREWCRE-1999-YangPZ99a #concept analysis #data access #feature model #multi #using
Domain Feature Model Recovery from Multiple Applications Using Data Access Semantics and Formal Concept Analysis (YY, XP, WZ), pp. 215–224.
LATALATA-2009-Llull-ChavarriaV #complexity #word
An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (JLC, OV), pp. 530–541.
FMFM-2009-GancarskiB
The Denotational Semantics of slotted-Circus (PG, AB), pp. 451–466.
FMFM-2009-GiannakopoulosDFK #alloy #towards
Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.
FMFM-2009-ReevesS #fault #robust
A Robust Semantics Hides Fewer Errors (SR, DS), pp. 499–515.
FMFM-2009-VakkalankaVGK #execution #theory and practice
Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
RTARTA-2009-Lopez-FraguasRS
A Fully Abstract Semantics for Constructor Systems (FJLF, JRH, JSH), pp. 320–334.
TLCATLCA-2009-AwodeyR #type system
Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.
TLCATLCA-2009-Hamana #algebra
Initial Algebra Semantics for Cyclic Sharing Structures (MH), pp. 127–141.
TLCATLCA-2009-StengerV #fault #haskell #parametricity
Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
CEFPCEFP-2009-KoopmanPA #consistency #effectiveness
An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.
AIIDEAIIDE-2009-TutenelSBK #design #game studies #using
Using Semantics to Improve the Design of Game Worlds (TT, RMS, RB, KJdK).
CHICHI-2009-CosleyBLANASG #navigation #social
A tag in the hand: supporting semantic, social, and spatial navigation in museums (DC, JB, SL, BA, SN, PA, CS, GG), pp. 1953–1962.
CHICHI-2009-SchrammelLT #clustering #empirical #evaluation
Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches (JS, ML, MT), pp. 2037–2040.
HCIHIMI-DIE-2009-VandrommeDPC #graph #interactive
An Interactive System Based on Semantic Graphs (JV, SD, PP, CC), pp. 638–647.
HCIHIMI-II-2009-JungLSY #framework #reliability #web #web service
Auto-complete for Improving Reliability on Semantic Web Service Framework (HJ, ML, WKS, BJY), pp. 36–44.
HCIHIMI-II-2009-NordinNZ #community #design #network #process #visualisation
Batik KR Semantic Network: Visualizations of Creative Process and Design Knowledge for the Malaysian Batik Designers’ Community (AN, NLMN, AZ), pp. 334–341.
CAiSECAiSE-2009-PlanasCG #action semantics #behaviour #modelling #specification #uml #verification
Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
EDOCEDOC-2009-HingeGK #modelling #process
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models (KH, AKG, GK), pp. 54–63.
ICEISICEIS-DISI-2009-Missikoff #exclamation #question
Let’s Semanticise the World!!...or not?? (MM), pp. 17–24.
ICEISICEIS-AIDSS-2009-OroR #process #towards
Towards a Semantic System for Managing Clinical Processes (EO, MR), pp. 180–187.
ICEISICEIS-AIDSS-2009-SpradoG
Semantic Argumentation in Dynamic Environments (JS, BG), pp. 236–241.
ICEISICEIS-AIDSS-2009-TinelliCRNSD #sql #standard
I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL (ET, AC, MR, TDN, EDS, FMD), pp. 224–229.
ICEISICEIS-DISI-2009-DunkelFOO #architecture #injection
Injecting Semantics into Event-driven Architectures (JD, AF, RO, SO), pp. 70–75.
ICEISICEIS-DISI-2009-GustienePH #analysis #design #framework #integration #using
Semantic Framework for Information Integration — Using Service-oriented Analysis and Design (PG, IP, HH), pp. 64–69.
ICEISICEIS-DISI-2009-KudagbaBB #query #xml
An User-centric and Semantic-driven Query Rewriting over Proteomics XML Sources (KK, OEB, HB), pp. 123–130.
ICEISICEIS-DISI-2009-MartinsS #approach #evolution #ontology
A User-driven and a Semantic-based Ontology Mapping Evolution Approach (HM, NS), pp. 214–221.
ICEISICEIS-DISI-2009-MoserMBM #approach #integration #modelling #performance #requirements #using
Efficient System Integration using Semantic Requirements and Capability Models — An Approach for Integrating Heterogeneous Business Services (TM, RM, SB, AM), pp. 56–63.
ICEISICEIS-ISAS-2009-PereiraSS #approach #concept #process #scalability
A Socio-semantic Approach to the Conceptualisation of Domains, Processes and Tasks in Large Projects (CP, CS, ALS), pp. 237–242.
ICEISICEIS-J-2009-BittencourtBCPVDL #modelling #web
Modeling JADE Agents from GAIA Methodology under the Perspective of Semantic Web (IIB, PB, EdBC, JPP, DV, DD, HPLL), pp. 780–789.
ICEISICEIS-J-2009-GadK #clustering #performance #similarity #using
Enhancing Text Clustering Performance Using Semantic Similarity (WKG, MSK), pp. 325–335.
ICEISICEIS-SAIC-2009-ClariziaCSN #probability #web
Semantic Indexing of Web Pages Via Probabilistic Methods — In Search of Semantics Project (FC, FC, MDS, PN), pp. 134–140.
ICEISICEIS-SAIC-2009-DangHHT #personalisation #process #workflow
Personalized Medical Workflow through Semantic Business Process Management (JD, AH, KH, CT), pp. 122–127.
CIKMCIKM-2009-BaiWGCSQCW
Supervised semantic indexing (BB, JW, DG, RC, KS, YQ, OC, KQW), pp. 187–196.
CIKMCIKM-2009-GroppeGSL #database #named #web
LuposDate: a semantic web database system (JG, SG, AS, VL), pp. 2083–2084.
CIKMCIKM-2009-GuoZGZS #categorisation #multi
Product feature categorization with multilevel latent semantic association (HG, HZ, ZG, XZ, ZS), pp. 1087–1096.
CIKMCIKM-2009-HanZ #ambiguity #wiki
Named entity disambiguation by leveraging wikipedia semantic knowledge (XH, JZ), pp. 215–224.
CIKMCIKM-2009-HassanzadehKLMW #framework #relational
A framework for semantic link discovery over relational data (OH, AK, LL, RJM, MW), pp. 1027–1036.
CIKMCIKM-2009-HuSZC #clustering #using
Exploiting internal and external semantics for the clustering of short texts using world knowledge (XH, NS, CZ, TSC), pp. 919–928.
CIKMCIKM-2009-LimWW #challenge #database #problem #query
Semantic queries in databases: problems and challenges (LL, HW, MW), pp. 1505–1508.
CIKMCIKM-2009-MabroukehE #mining #ontology #predict #using #web
Using domain ontology for semantic web usage mining and next page prediction (NRM, CIE), pp. 1677–1680.
CIKMCIKM-2009-ParkR #analysis #information retrieval #kernel #using
Kernel latent semantic analysis using an information retrieval based kernel (LAFP, KR), pp. 1721–1724.
CIKMCIKM-2009-PuH #clustering #feedback #pseudo #using
Pseudo relevance feedback using semantic clustering in relevance language model (QP, DH), pp. 1931–1934.
CIKMCIKM-2009-ShiWY #framework #named #recommendation
Msuggest: a semantic recommender framework for traditional chinese medicine book search engine (SS, BW, YY), pp. 533–542.
CIKMCIKM-2009-WangHLS #comprehension #learning #query #web
Semi-supervised learning of semantic classes for query understanding: from the web and for the web (YYW, RH, XL, JS), pp. 37–46.
CIKMCIKM-2009-ZhangMCM #fuzzy #learning #ontology #uml #web
Fuzzy semantic web ontology learning from fuzzy UML model (FZ, ZMM, JC, XM), pp. 1007–1016.
ECIRECIR-2009-BaiWCG
Supervised Semantic Indexing (BB, JW, RC, DG), pp. 761–765.
ECIRECIR-2009-LarsonTHR #fault #recognition #speech
Investigating the Global Semantic Impact of Speech Recognition Error on Spoken Content Collections (ML, MT, JH, MdR), pp. 755–760.
ECIRECIR-2009-MissenB #detection #using
Using WordNet’s Semantic Relations for Opinion Detection in Blogs (MMSM, MB), pp. 729–733.
ECIRECIR-2009-MoshfeghiAPJ #collaboration #predict #rating #recommendation
Movie Recommender: Semantically Enriched Unified Relevance Model for Rating Prediction in Collaborative Filtering (YM, DA, BP, JMJ), pp. 54–65.
ICMLICML-2009-LiuPZ #coordination #multi
Blockwise coordinate descent procedures for the multi-task lasso, with applications to neural semantic basis discovery (HL, MP, JZ), pp. 649–656.
KDDKDD-2009-GuoZGZS #standard
Address standardization with latent semantic association (HG, HZ, ZG, XZ, ZS), pp. 1155–1164.
KDIRKDIR-2009-Dengel #information management
The Semantic Desktop as a Means for Personal Information Management (AD), p. 5.
KDIRKDIR-2009-FatemiPRS #concept #mining #retrieval #using #video
Using Association Rule Mining to Enrich Semantic Concepts for Video Retrieval (NF, FP, LER, AFS), pp. 119–126.
KDIRKDIR-2009-KimRM #retrieval #using
A Patent Retrieval Method using Semantic Annotations (YK, JR, SHM), pp. 211–218.
KDIRKDIR-2009-KulkarniC #concept #using #word
Computation of the Semantic Relatedness between Words using Concept Clouds (SK, DC), pp. 183–188.
KDIRKDIR-2009-SciarroneS #multi #ontology #reuse
Ontological Warehousing on Semantically Indexed Data — Reusing Semantic Search Engine Ontologies to Develop Multidimensional Schemas (FS, PS), pp. 315–318.
KEODKEOD-2009-AndreasenBLZJMTNS #information management #named #ontology
SIABO — Semantic Information Access through Biomedical Ontologies (TA, HB, TL, SZ, PAJ, BNM, HET, JFN, BAS), pp. 171–176.
KEODKEOD-2009-Dengel #information management
The Semantic Desktop as a Means for Personal Information Management (AD), p. 5.
KEODKEOD-2009-Essert-VillardBS #approach #multi #towards
Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.
KEODKEOD-2009-FreddoT #evolution #folksonomy #learning #ontology #social #web
Integrating Social Web with Semantic Web — Ontology Learning and Ontology Evolution from Folksonomies (ARF, CAT), pp. 247–253.
KEODKEOD-2009-GargSSMD #keyword
Aragog Semantic Search Engine — Beyond the Limits of Keyword Search (MG, JS, JS, HM, SKD), pp. 21–27.
KEODKEOD-2009-GoczylaWW #approach #knowledge base #named
S-modules — Approach to Capture Semantics of Modularized DL Knowledge Bases (KG, AW, WW), pp. 117–122.
KEODKEOD-2009-Grimm #formal method #ontology #research #web
A Unifying Formal Ontology Model — A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research (SG), pp. 327–335.
KEODKEOD-2009-KoppensteinerMLLV #enterprise #framework
Ontology-oriented Framework for Virtual Enterprises — Accomplished within the Project: Future Network-based Semantic Technologies ((FUNSET-Science) (GK, MM, WL, EL, LV), pp. 300–307.
KEODKEOD-2009-MoulinL #approach #distributed #ontology
Ontologies based Approach for Semantic Indexing in Distributed Environments (CM, CL), pp. 420–423.
KEODKEOD-2009-SantipantakisV #collaboration #evolution #ontology
Semantics based Reconciliaton for Collaborative Ontology Evolution (GMS, GAV), pp. 153–158.
KEODKEOD-2009-Szymanski #architecture #editing #named
Wordventure — Cooperative Wordnet Editor — Architecture for Lexical Semantic Acquisition (JS), pp. 28–33.
KMISKMIS-2009-Dengel #information management
The Semantic Desktop as a Means for Personal Information Management (AD), p. 5.
KMISKMIS-2009-DochevA #learning #towards #web
Towards Semantic Web Enhanced Learning (DD, GA), pp. 212–217.
KMISKMIS-2009-KoutsomitropoulosSAP #information management #perspective #repository #web
Knowledge Management and Acquisition in Digital Repositories — A Semantic Web Perspective (DAK, GDS, ADA, TSP), pp. 117–122.
KMISKMIS-2009-Rios-AlvaradoMR #distributed #web
Distributed Allocation of a Corporate Semantic Web (ABRA, RMJ, RCMR), pp. 173–179.
KMISKMIS-2009-SonntagM #image #information management #problem #query #repository
Unifying Semantic Annotation and Querying in Biomedical Image Repositories — One Solution for Two Problems of Medical Knowledge Engineering (DS, MM), pp. 89–94.
MLDMMLDM-2009-GadK #clustering #similarity #using
New Semantic Similarity Based Model for Text Clustering Using Extended Gloss Overlaps (WKG, MSK), pp. 663–677.
MLDMMLDM-2009-GoncalvesQ #classification #kernel #using
Using Graph-Kernels to Represent Semantic Information in Text Classification (TG, PQ), pp. 632–646.
MLDMMLDM-2009-NikolopoulosPKP #comprehension #framework #image #probability
An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding (SN, GTP, IK, IP), pp. 525–539.
RecSysRecSys-2009-TsatsouMKD #analysis #framework #personalisation #recommendation
A semantic framework for personalized ad recommendation based on advanced textual analysis (DT, FM, IK, PCD), pp. 217–220.
SEKESEKE-2009-DAgostiniF
Capturing Users’ Preferences and Intentions in a Semantic Search System (CSD, RF), pp. 587–591.
SEKESEKE-2009-FarZYA #concept #documentation #learning #using
Realization of Semantic Search Using Concept Learning and Document Annotation Agents (BHF, CZ, Z(Y, MA), pp. 164–169.
SEKESEKE-2009-JuanI #library #music #web
Improving Searchability of a Music Digital Library with Semantic Web Technologies (PdJ, CAI), pp. 246–251.
SEKESEKE-2009-LudwigTA #analysis #concept #database #deduction #performance #reasoning #web
Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer (SAL, CT, KA), pp. 688–693.
SEKESEKE-2009-MajdoubiTG #ontology
Ontology-based Semantic Annotations of Medical Articles (JM, MT, FG), pp. 258–261.
SEKESEKE-2009-ManicaRTDB #information management #ontology #representation #towards
Toward Developing Knowledge Representation in Emergency Medical Assistance through a Ontology-based Semantic Cache Model (HM, CCdR, JLT, MARD, MAB), pp. 592–596.
SEKESEKE-2009-MoserMSB #constraints #framework
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints (TM, RM, WDS, SB), pp. 222–227.
SIGIRSIGIR-2009-Aly #modelling #nondeterminism #retrieval #video
Modeling uncertainty in video retrieval: a retrieval model for uncertain semantic representations of videos (RA), p. 846.
SIGIRSIGIR-2009-LinYCWW #approach #modelling #thread
Simultaneously modeling semantics and structure of threaded discussions: a sparse coding approach and its applications (CL, JMY, RC, XJW, WW, LZ), pp. 131–138.
SIGIRSIGIR-2009-Peng #analysis #equivalence #probability
Equivalence between nonnegative tensor factorization and tensorial probabilistic latent semantic analysis (WP), pp. 668–669.
SIGIRSIGIR-2009-TurnbullBLY #music #social
Combining audio content and social context for semantic music discovery (DT, LB, GRGL, MY), pp. 387–394.
MODELSMoDELS-2009-LeungMLLSTL #ontology #scalability #using
Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
MODELSMoDELS-2009-Maoz #modelling #polymorphism #specification
Polymorphic Scenario-Based Specification Models: Semantics and Applications (SM), pp. 499–513.
MODELSMoDELS-2009-SoltenbornE #specification #testing #towards
Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.
SPLCSPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #requirements
A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.
MODELSMoDELS-2009-LeungMLLSTL #ontology #scalability #using
Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
MODELSMoDELS-2009-Maoz #modelling #polymorphism #specification
Polymorphic Scenario-Based Specification Models: Semantics and Applications (SM), pp. 499–513.
MODELSMoDELS-2009-SoltenbornE #specification #testing #towards
Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.
OOPSLAOOPSLA-2009-DincklageD #optimisation #source code
Optimizing programs with intended semantics (DvD, AD), pp. 409–424.
TOOLSTOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #specification
Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.
TOOLSTOOLS-EUROPE-2009-SadilekW #grammarware #using
Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.
AdaEuropeAdaEurope-2009-KaiserP #java #multi #thread
Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.
PADLPADL-2009-NavarroR #declarative #network
Operational Semantics for Declarative Networking (JANP, AR), pp. 76–90.
PLDIPLDI-2009-HoffmanEJ #analysis
Semantics-aware trace analysis (KJH, PE, SJ), pp. 453–464.
POPLPOPL-2009-GuerraouiK #memory management #transaction
The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.
POPLPOPL-2009-Ley-WildAF #self
A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
POPLPOPL-2009-SarkarSNORBMA #multi
The semantics of x86-CC multiprocessor machine code (SS, PS, FZN, SO, TR, TB, MOM, JA), pp. 379–391.
PPDPPPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
PPDPPPDP-2009-BentonKBH #higher-order #program transformation #relational
Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
PPDPPPDP-2009-IranzoR #declarative #prolog
A declarative semantics for Bousi~Prolog (PJI, CRM), pp. 149–160.
AdaSIGAda-2009-RosenT #ada
The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
RERE-2009-EsmaeilsabzaliDAN #modelling
Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
RERE-2009-MussbacherWA #aspect-oriented #detection #interactive
Semantic-Based Interaction Detection in Aspect-Oriented Scenarios (GM, JW, DA), pp. 203–212.
ASEASE-2009-BalasubramanianJ
Lost in Translation: Forgetful Semantic Anchoring (DB, EKJ), pp. 645–649.
ASEASE-2009-Jokhio #testing #web #web service
Goal-Based Testing of Semantic Web Services (MSJ), pp. 707–711.
ESEC-FSEESEC-FSE-2009-ShaoKP #named #parallel
SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
ICSEICSE-2009-Reiss #code search
Semantics-based code search (SPR), pp. 243–253.
SACSAC-2009-CaladoBB #approach #automation #composition #metric #similarity #web #web service
An approach for semantic web services automatic discovery and composition with similarity metrics (IC, HB, IIB), pp. 694–695.
SACSAC-2009-DecreusP #modelling #process
Mapping semantically enriched Formal Tropos to business process models (KD, GP), pp. 371–376.
SACSAC-2009-FodehPT #clustering #documentation #statistics
Combining statistics and semantics via ensemble model for document clustering (SJF, WFP, PNT), pp. 1446–1450.
SACSAC-2009-GroppeNL #java #named #query #rdf #satisfiability #type safety #web
SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.
SACSAC-2009-LindvallFKCJ #network #using
Searching for relevant software change artifacts using semantic networks (ML, RLF, GK, ZC, VPJ), pp. 496–500.
SACSAC-2009-LopesVCTL #assessment #towards
Towards the universal semantic assessment of accessibility (RL, KV, LC, DT, SDL), pp. 147–151.
SACSAC-2009-MurthK #coordination #knowledge-based #reliability
Knowledge-based coordination with a reliable semantic subscription mechanism (MM, EK), pp. 1374–1380.
SACSAC-2009-PrazeresTMP #mvc #uml #web #web service
Semantic web services: from OWL-S via UML to MVC applications (CVSP, CACT, EVM, MdGCP), pp. 675–680.
SACSAC-2009-SinnigCK #automaton #case study #lts #modelling
LTS semantics for use case models (DS, PC, FK), pp. 365–370.
SACSAC-2009-TartirMA #named
SemanticQA: web-based ontology-driven question answering (ST, BM, IBA), pp. 1275–1276.
SACSAC-2009-ThirunarayanP #network
Semantic information and sensor networks (KT, JP), pp. 1273–1274.
SACSAC-2009-ZaidKT #feature model #modelling #web
Applying semantic web technology to feature modeling (LAZ, FK, ODT), pp. 1252–1256.
LDTALDTA-2008-DemailleDPS09 #ambiguity #comparison
Semantics Driven Disambiguation: A Comparison of Different Approaches (AD, RD, NP, BS), pp. 101–116.
DATEDATE-2009-YangHMP #behaviour #towards
Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.
PDPPDP-2009-GavaF #set
Two Formal Semantics of a Subset of the Paderborn University BSPlib (FG, JF), pp. 44–51.
WRLAWRLA-2008-Hills09 #logic #memory management
Memory Representations in Rewriting Logic Semantics Definitions (MH0), pp. 155–172.
WRLAWRLA-2008-Marti-OlietMV09 #maude
A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.
FASEFASE-2009-BoronatHM #logic #model transformation #verification
Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
FoSSaCSFoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
FoSSaCSFoSSaCS-2009-BonchiGM #mobile
Reactive Systems, Barbed Semantics, and the Mobile Ambients (FB, FG, GVM), pp. 272–287.
FoSSaCSFoSSaCS-2009-Clairambault #fixpoint #game studies
Least and Greatest Fixpoints in Game Semantics (PC), pp. 16–31.
TACASTACAS-2009-BakewellG #abstraction #composition #game studies
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
TACASTACAS-2009-KahlonSG #concurrent #reduction #source code #thread
Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
CSLCSL-2009-BlanquiR #on the #termination
On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.
CSLCSL-2009-GaboardiP #bound #using
Upper Bounds on Stream I/O Using Semantic Interpretations (MG, RP), pp. 271–286.
ICLPICLP-2009-DelgrandeSTW #logic programming #set #source code
Merging Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 160–174.
ICLPICLP-2009-HolldoblerR #logic programming #source code
Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.
ICLPICLP-2009-Truszczynski #logic programming #satisfiability #source code
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.
ISSTAISSTA-2009-GorgZ #aspectj #difference #identification #source code
Identifying semantic differences in AspectJ programs (MTG, JZ), pp. 25–36.
LICSLICS-2009-Ghica #game studies #hardware #program analysis #synthesis
Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.
LICSLICS-2009-GhicaB #approximate #named
Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.
LICSLICS-2009-NainV
Trace Semantics is Fully Abstract (SN, MYV), pp. 59–68.
LICSLICS-2009-PfenningS #logic programming #order
Substructural Operational Semantics as Ordered Logic Programming (FP, RJS), pp. 101–110.
ECSAECSA-2008-FankamJBA #approach #architecture #database #ontology
Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach (CF, SJ, LB, YAA), pp. 318–321.
DocEngDocEng-2008-Al-SaffarH #graph
Semantic impact graphs for information valuation (SAS, GLH), pp. 209–212.
DRRDRR-2008-FumeI #analysis #categorisation #clustering #documentation #modelling
Model-based document categorization employing semantic pattern analysis and local structure clustering (KF, YI), p. 68150.
TPDLECDL-2008-BindingMT #dataset
Semantic Interoperability in Archaeological Datasets: Data Mapping and Extraction Via the CIDOC CRM (CB, KM, DT), pp. 280–290.
TPDLECDL-2008-KrukKS #evaluation #library #social
Evaluation of Semantic and Social Technologies for Digital Libraries (SRK, EK, KS), pp. 74–77.
TPDLECDL-2008-SfakakisK #library
Semantic Based Substitution of Unsupported Access Points in the Library Meta-search Environments (MS, SK), pp. 296–307.
HTHT-2008-MarkinesRM #assembly #network #performance #social
Efficient assembly of social semantic networks (BM, HR, FM), pp. 149–156.
JCDLJCDL-2008-Cui #library
Unsupervised semantic markup of literature for biodiversity digital libraries (HC), pp. 25–28.
SIGMODSIGMOD-2008-MaWLCPY #data transformation #effectiveness #performance #web
Effective and efficient semantic web data management over DB2 (LM, CW, JL, FC, YP, YY), pp. 1183–1194.
VLDBVLDB-2008-WeissKB #data transformation #named #web
Hexastore: sextuple indexing for semantic web data management (CW, PK, AB), pp. 1008–1019.
ITiCSEITiCSE-2008-Diaz-AgudoJR #approach #education #how #web
How to teach semantic web?: a project-based approach (BDA, GJD, JARG), pp. 98–102.
ITiCSEITiCSE-2008-PatersonHC #education
Drawing the line: teaching the semantics of binary class associations (JHP, JH, KFC), p. 362.
ITiCSEITiCSE-2008-ReppLM #automation
Question answering from lecture videos based on an automatic semantic annotation (SR, SL, CM), pp. 17–21.
CSMRCSMR-2008-SpekKL #architecture #concept #towards #using
Towards Recovering Architectural Concepts Using Latent Semantic Indexing (PvdS, SK, PvdL), pp. 253–257.
ICPCICPC-2008-Parr #embedded #reuse #using
The Reuse of Grammars with Embedded Semantic Actions (TP), pp. 5–10.
ICPCICPC-2008-RillingWGP #maintenance
Semantic Technologies in System Maintenance (STSM 2008) (JR, RW, DG, JZP), pp. 279–282.
ICPCICPC-2008-SridharaHPV #case study #comparative #identification #similarity #tool support #word
Identifying Word Relations in Software: A Comparative Study of Semantic Similarity Tools (GS, EH, LLP, KVS), pp. 123–132.
ICSMEICSM-2008-LuciaOV #metric #using
Using structural and semantic metrics to improve class cohesion (ADL, RO, LV), pp. 27–36.
SCAMSCAM-2008-Zanardini #slicing
The Semantics of Abstract Program Slicing (DZ), pp. 89–98.
ICALPICALP-B-2008-Katsumata #attribute grammar #category theory
Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.
FMFM-2008-PonsiniS #modelling
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS (OP, WS), pp. 278–293.
RTARTA-2008-FalkeK #data type #dependence
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.
SEFMSEFM-2008-SilvaSL #object-oriented
Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.
FLOPSFLOPS-2008-AlvezL
A Generalization of the Folding Rule for the Clark-Kunen Semantics (, PL), pp. 180–194.
FLOPSFLOPS-2008-Voigtlander
Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.
ICFPICFP-2008-Chlipala #higher-order #parametricity #syntax
Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
IFLIFL-2008-KoopmanPA #execution
An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
IFLIFL-2008-ShkaravskaET #functional #source code
Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.
GT-VMTGT-VMT-2006-RensinkN08 #graph transformation #qvt
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMTGT-VMT-2008-RensinkK #diagrams #graph #on the #uml
On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
ICGTICGT-2008-Bonchi
Abstract Semantics by Observable Contexts (FB), pp. 478–480.
ICGTICGT-2008-EhrigE #correctness #graph #model transformation #using
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGTICGT-2008-YuH #graph transformation #query #web
Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
CHICHI-2008-KatsanosTA #analysis #architecture #design #named #using #web
AutoCardSorter: designing the information architecture of a web site using latent semantic analysis (CK, NKT, NMA), pp. 875–878.
CHICHI-2008-MiaskiewiczSK #analysis #identification
A latent semantic analysis methodology for the identification and creation of personas (TM, TS, KAK), pp. 1501–1510.
SOFTVISSOFTVIS-2008-FrischDB #diagrams #towards #uml
Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.
SOFTVISSOFTVIS-2008-SavidisPZ #3d #agile #design #encoding #visual notation
Rapid visual design with semantics encoding through 3d CRC cards (AS, PP, GZ), pp. 193–196.
CAiSECAiSE-2008-BaresiMP #flexibility #framework #web #web service
A Flexible and Semantic-Aware Publication Infrastructure for Web Services (LB, MM, PP), pp. 435–449.
CAiSECAiSE-2008-SofferKW #modelling #ontology #petri net #process
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.
EDOCEDOC-2008-AlmeidaG #concept #enterprise #modelling
A Semantic Foundation for Role-Related Concepts in Enterprise Modelling (JPAA, GG), pp. 31–40.
EDOCEDOC-2008-AwadPW #modelling #process #query
Semantic Querying of Business Process Models (AA, AP, MW), pp. 85–94.
EDOCEDOC-2008-MarkovicK #modelling #process
Linking Business Goals to Process Models in Semantic Business Process Modeling (IM, MK), pp. 332–338.
ICEISICEIS-AIDSS-2008-BoglSPW #modelling
Semantic Annotation of EPC Models in Engineering Domains by Employing Semantic Patterns (AB, MS, GP, NW), pp. 106–115.
ICEISICEIS-DISI-2008-SaccolNEG #approach #ontology
An Ontology-Based Approach for Semantic Interoperability in P2P Systems (DdBS, RPN, NE, RdMG), pp. 310–316.
ICEISICEIS-DISI-2008-WiesnerMM #design #integration #process
Semantic Data Integration for Process Engineering Design Data (AW, JM, WM), pp. 190–195.
ICEISICEIS-HCI-2008-AngioniDDT #3d #navigation #user interface
A 3D User Interface for the Semantic Navigation of WWW Information (MA, RD, MD, FT), pp. 256–261.
ICEISICEIS-ISAS1-2008-LanoC #behaviour #refinement #state machine
Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
ICEISICEIS-ISAS2-2008-FranciscoMMMP #modelling #process
Methodological Extensions for Semantic Business Process Modeling (DdFM, IM, JM, HM, NP), pp. 410–415.
ICEISICEIS-ISAS2-2008-SantosBBR #analysis #architecture #modelling
A Model Driven Architecture Tool Based on Semantic Analysis Method (TMdS, RB, MCCB, MAR), pp. 305–310.
ICEISICEIS-J-2008-Bachlechner08a #adaptation #architecture #industrial #integration #web #web service
Adapting Integration Architectures Based on Semantic Web Services to Industrial Needs (DB), pp. 280–293.
ICEISICEIS-J-2008-BoglSPW08a #automation #identification #modelling
Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices (AB, MS, GP, NW), pp. 155–171.
ICEISICEIS-J-2008-BrissonC08a #data mining #how #mining #process #question
How to Semantically Enhance a Data Mining Process? (LB, MC), pp. 103–116.
ICEISICEIS-J-2008-DroopFGGLPSSSSZ08a #rdf #web #xml #xpath
Bringing the XML and Semantic Web Worlds Closer: Transforming XML into RDF and Embedding XPath into SPARQL (MD, MF, JG, SG, VL, JP, FS, MS, FS, HS, SZ), pp. 31–45.
ICEISICEIS-SAIC-2008-Bachlechner #analysis #architecture #integration #web #web service
Integration Architectures Based on Semantic Web Services: Fad or Model for the Future? — Findings of a Comprehensive SWOT Analysis (DB), pp. 45–52.
ICEISICEIS-SAIC-2008-BaguesBBGI #communication #protocol #using
Use of Semantic Technology to Describe and Reason about Communication Protocols (MIB, IB, JB, AG, AI), pp. 67–72.
ICEISICEIS-SAIC-2008-CanalesP #architecture #learning #web
Learning Technology System Architecture Based on Agents and Semantic Web (ACC, RPV), pp. 127–132.
ICEISICEIS-SAIC-2008-DAgostiniFDG #using
Contextual Semantic Search — Capturing, using the User’s Context to Direct Semantic Search (CSD, RF, MARD, FAOG), pp. 154–159.
ICEISICEIS-SAIC-2008-SantosM #approach #web
Transparency in Citizen-Centric Services — A Traceability-based Approach on the Semantic Web (IJGdS, ERMM), pp. 184–189.
ICEISICEIS-SAIC-2008-StellerKCNL #approach #pervasive #reasoning #using
A Weighted Approach for Optimised Reasoning for Pervasive Service Discovery Using Semantics and Context (LS, SK, SC, JN, SWL), pp. 113–118.
CIKMCIKM-2008-Bradford #empirical #scalability
An empirical study of required dimensionality for large-scale latent semantic indexing applications (RBB), pp. 153–162.
CIKMCIKM-2008-MaYKL #learning #query
Learning latent semantic relations from clickthrough data for query suggestion (HM, HY, IK, MRL), pp. 709–718.
CIKMCIKM-2008-Moschitti #categorisation #kernel #relational #syntax
Kernel methods, syntax and semantics for relational text categorization (AM), pp. 253–262.
CIKMCIKM-2008-ParikhS #behaviour #query
Inferring semantic query relations from collective user behavior (NP, NS), pp. 349–358.
CIKMCIKM-2008-QuMG #network #using
Using tag semantic network for keyphrase extraction in blogs (LQ, CM, IG), pp. 1381–1382.
CIKMCIKM-2008-ShiLW #multi
Pattern-based semantic class discovery with multi-membership support (SS, XL, JRW), pp. 1453–1454.
CIKMCIKM-2008-WangLCLO #network
Speed up semantic search in p2p networks (QW, RL, LC, JL, MTÖ), pp. 1341–1342.
ECIRECIR-2008-AlonsoZ #information retrieval
Exploiting Semantic Annotations in Information Retrieval (OA, HZ), p. 712.
ECIRECIR-2008-FishbeinE08a #classification #modelling
Methods for Augmenting Semantic Models with Structural Information for Text Classification (JMF, CE), pp. 575–579.
ECIRECIR-2008-OfoghiYM #identification #natural language
The Impact of Semantic Class Identification and Semantic Role Labeling on Natural Language Answer Extraction (BO, JY, LM), pp. 430–437.
ECIRECIR-2008-StathopoulosUJ #automation #graph #image #multi
Semantic Relationships in Multi-modal Graphs for Automatic Image Annotation (VS, JU, JMJ), pp. 490–497.
ICPRICPR-2008-BarratT #effectiveness #image #network #retrieval #using #visual notation
Visual features with semantic combination using Bayesian network for a more effective image retrieval (SB, ST), pp. 1–4.
ICPRICPR-2008-MaL08a #approach #concept #detection #optimisation #performance
An efficient gradient computation approach to discriminative fusion optimization in semantic concept detection (CM, CHL), pp. 1–4.
ICPRICPR-2008-TeynorB08a #visual notation
Semantic grouping of visual features (AT, HB), pp. 1–4.
ICPRICPR-2008-WangC #classification #using
Film shot classification using directing semantics (HLW, LFC), pp. 1–4.
ICPRICPR-2008-WangI #classification #image #markov #modelling #multi
Combining multiple spatial hidden Markov models in image semantic classification and annotation (LW, HHSI), pp. 1–4.
ICPRICPR-2008-XuZW #detection #feature model
Semantic feature extraction for accurate eye corner detection (CX, YZ, ZW), pp. 1–4.
KDDKDD-2008-IwataYU #documentation #probability #topic #visualisation
Probabilistic latent semantic visualization: topic model for visualizing documents (TI, TY, NU), pp. 363–371.
KDDKDD-2008-SatoYN #graph #information management #parametricity #using #word
Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model (IS, MY, HN), pp. 587–595.
KDDKDD-2008-WangD #classification #kernel #using #wiki
Building semantic kernels for text classification using wikipedia (PW, CD), pp. 713–721.
KRKR-2008-AnalytiAD #composition #framework #web
A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
KRKR-2008-BritzHM
Semantic Preferential Subsumption (KB, JH, TAM), pp. 476–484.
KRKR-2008-DelgrandeSTW #logic programming #set #source code
Belief Revision of Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 411–421.
RecSysRecSys-2008-DegemmisLSB #recommendation
Integrating tags in a semantic content-based recommender (MD, PL, GS, PB), pp. 163–170.
RecSysRecSys-2008-WuWC #analysis #automation #incremental #probability #recommendation
Incremental probabilistic latent semantic analysis for automatic question recommendation (HW, YW, XC), pp. 99–106.
SEKESEKE-2008-DrumondGS #analysis #information management #similarity #web
A Similarity Analysis Model for Semantic Web Information Filtering Applications (LD, RG, FS), pp. 638–642.
SEKESEKE-2008-GolmohammadiRP #overview #web
Fuzziness in the Semantic Web: Survey and Future Directions (SKG, MR, WP), pp. 643–648.
SEKESEKE-2008-MarquesMNF #approach #interface #ontology #using #web #web service
Active Ontologies — an Approach for Using Ontologies as Semantic Web Services Interfaces (TCM, MGM, JCCN, PPMF), pp. 847–852.
SEKESEKE-2008-TekbacakTD #approach #certification #data access #security #using
A Semantic Based Certification and Access Control Approach Using Security Patterns on SEAGENT (FT, TT, OD), pp. 741–744.
SIGIRSIGIR-2008-HuFCZLYC #clustering #wiki
Enhancing text clustering by leveraging Wikipedia semantics (JH, LF, YC, HJZ, HL, QY, ZC), pp. 179–186.
SIGIRSIGIR-2008-PanTLL #classification #kernel
Question classification with semantic tree kernel (YP, YT, LL, YL), pp. 837–838.
SIGIRSIGIR-2008-QuanCLX #adaptation #scalability
Adaptive label-driven scaling for latent semantic indexing (XQ, EC, QL, HX), pp. 827–828.
SIGIRSIGIR-2008-ValletZ #approach #query
Inferring the most important types of a query: a semantic approach (DV, HZ), pp. 857–858.
SIGIRSIGIR-2008-WangLZD #analysis #matrix #multi #summary #symmetry
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization (DW, TL, SZ, CHQD), pp. 307–314.
SIGIRSIGIR-2008-XuDW #dependence
Utilizing phrase based semantic information for term dependency (YX, FD, BW), pp. 855–856.
SIGIRSIGIR-2008-XuZL #analysis #image #named #novel #web
WISA: a novel web image semantic analysis system (HX, XZ, LL), pp. 777–778.
BXBX-2008-Diskin1 #algebra
Algebraic Semantics for Model Translation (ZD), p. 34.
ECMFAECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
ECMFAECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #sequence chart
Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.
ECMFAECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #uml
Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
ICMTICMT-2008-GronmoSMK #diagrams #sequence chart #uml #weaving
Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-Gessenharter #code generation #java #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-JanotaKW #constraints #interactive #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-ProutADS #code generation #configuration management
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-Gessenharter #code generation #java #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-JanotaKW #constraints #interactive #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-ProutADS #code generation #configuration management
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
OOPSLAOOPSLA-2008-SchippersJHH
Delegation-based semantics for modularizing crosscutting concerns (HS, DJ, MH, RH), pp. 525–542.
TOOLSTOOLS-EUROPE-2008-DiskinED #modelling
Engineering Associations: From Models to Code and Back through Semantics (ZD, SME, JD), pp. 336–355.
TOOLSTOOLS-EUROPE-2008-LeueSW #runtime #scheduling #uml
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
AdaEuropeAdaEurope-2008-HamidN #ada
Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
AdaEuropeAdaEurope-2008-NarayananK #approach #automation #multi
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.
LOPSTRLOPSTR-2008-Seki #on the #set
On Negative Unfolding in the Answer Set Semantics (HS), pp. 168–184.
PEPMPEPM-2008-MastroeniZ #dependence #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
POPLPOPL-2008-AbadiBHI #automation #memory management #transaction
Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
POPLPOPL-2008-MooreG #transaction
High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
PPDPPPDP-2008-BertotK #coq #fixpoint #recursion
Fixed point semantics and partial recursion in Coq (YB, VK), pp. 89–96.
PPDPPPDP-2008-PaoliniP #linear #programming language
Semantically linear programming languages (LP, MP), pp. 97–107.
RERE-2008-WestonCR #approach #aspect-oriented #composition #formal method #requirements
A Formal Approach to Semantic Composition of Aspect-Oriented Requirements (NW, RC, AR), pp. 173–182.
ASEASE-2008-JiangNCJC #automation #evolution #incremental #traceability
Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management (HJ, TNN, IXC, HJ, CKC), pp. 59–68.
ICSEICSE-2008-Bienk #syntax
Asam odx: syntax as semantics (SB), pp. 583–592.
ICSEICSE-2008-GabelJS #detection #scalability
Scalable detection of semantic clones (MG, LJ, ZS), pp. 321–330.
ICSEICSE-2008-LuciaOT #traceability
Adams re-trace: traceability link recovery via latent semantic indexing (ADL, RO, GT), pp. 839–842.
SACSAC-2008-Al-MansariHU #on the
On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.
SACSAC-2008-AveiroMT #modelling #wiki
Organizational modeling with a semantic wiki (DA, JM, JMT), pp. 592–593.
SACSAC-2008-BodorikJW #consistency #privacy
Consistent privacy preferences (CPP): model, semantics, and properties (PB, DNJ, MXW), pp. 2368–2375.
SACSAC-2008-BorsjeLF #named
Hermes: a semantic web-based news decision support system (JB, LL, FF), pp. 2415–2420.
SACSAC-2008-CorreaL #documentation #hybrid
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SACSAC-2008-DuraoVAM #code search #source code
Applying a semantic layer in a source code search tool (FAD, TAV, ESdA, SRdLM), pp. 1151–1157.
SACSAC-2008-FernandesFGM #generative #towards #web #web service
Towards the generation of explanations for semantic web services in OWL-S (CGF, VF, AG, DLM), pp. 2350–2351.
SACSAC-2008-GarciaT #security #using #web #web service
Web service security management using semantic web techniques (DZGG, MBFdT), pp. 2256–2260.
SACSAC-2008-IacobAI #composition
Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.
SACSAC-2008-KeeneyJRLO #clustering #knowledge-based
Knowledge-based semantic clustering (JK, DJ, DR, DL, DO), pp. 460–467.
SACSAC-2008-KeyvanpourA #approach #image #interactive #retrieval #using
A new approach for interactive semantic image retrieval using the high level semantics (MK, SA), pp. 1175–1179.
SACSAC-2008-LecueDL #composition #independence #towards #web #web service
Towards the composition of stateful and independent semantic web services (FL, AD, AL), pp. 2279–2285.
SACSAC-2008-LobatoBNTP #middleware
Exploiting semantic information on a message exchanging middleware (DCL, MQB, RBN, CACT, MdGCP), pp. 514–515.
SACSAC-2008-LuZS #towards
Towards trace semantics for WS-CDL with alignments (YL, LZ, JS), pp. 95–99.
SACSAC-2008-NecaskyP #concept #design #using #web #web service
Designing semantic web services using conceptual model (MN, JP), pp. 2243–2247.
SACSAC-2008-OlarteV #concurrent #constraints #security
Universal concurrent constraint programing: symbolic semantics and applications to security (CO, FDV), pp. 145–150.
SACSAC-2008-Papadopoulos #analysis #retrieval
Trajectory retrieval with latent semantic analysis (ANP), pp. 1089–1094.
SACSAC-2008-ShiYLZ #composition #verification #web #web service
Path-based verification for composition of semantic web services (YS, JY, ZJL, JZ), pp. 2392–2396.
SACSAC-2008-TanWWC #detection #problem #using
Using unlabeled data to handle domain-transfer problem of semantic detection (ST, YW, GW, XC), pp. 896–903.
SACSAC-2008-TierneyJ #ontology #using
C-SAW---contextual semantic alignment of ontologies: using negative semantic reinforcement (BT, MJ), pp. 2346–2347.
SACSAC-2008-TondelloS #modelling #ontology
The QoS-MO ontology for semantic QoS modeling (GFT, FS), pp. 2336–2340.
SACSAC-2008-WangHVZ #concept #multi #ontology #web #web service
Semantic web services selection improved by application ontology with multiple concept relations (XW, MH, TV, MZ), pp. 2237–2242.
SACSAC-2008-ZhouZCZ #concept #ontology
A method for semantics-based conceptual expansion of ontology (LZ, DZ, XC, CZ), pp. 1583–1587.
ATEMATEM-J-2006-ZhangWRH #approach #ontology #traceability
Ontological approach for the semantic recovery of traceability links between software artefacts (YZ, RW, JR, VH), pp. 185–203.
GPCEGPCE-2008-GottschlingL #c++ #compilation #concept #library #performance #reuse #robust #using
Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries (PG, AL), pp. 67–76.
SLESLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #visual notation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
ASPLOSASPLOS-2008-BallapuramSL #behaviour #multi
Exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors (CSB, AS, HHSL), pp. 60–69.
DATEDATE-2008-GailliardBSV #component #corba #protocol
Mapping Semantics of CORBA IDL and GIOP to Open Core Protocol for Portability and Interoperability of SDR Waveform Components (GG, HB, MS, FV), pp. 330–335.
DATEDATE-2008-GheorgheBNB #modelling #validation
Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.
HPDCHPDC-2008-BalajiFL #distributed #framework
Semantic-based distributed i/o with the paramedic framework (PB, WcF, HL), pp. 175–184.
PPoPPPPoPP-2008-BalajiFALKTM #distributed
Semantics-based distributed I/O for mpiBLAST (PB, WcF, JSA, HL, RK, RT, XM), pp. 293–294.
ESOPESOP-2008-BouissouM #hybrid
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
ESOPESOP-2008-HoborAN #concurrent #logic
Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.
ESOPESOP-2008-HuntS
Just Forget It — The Semantics and Enforcement of Information Erasure (SH, DS), pp. 239–253.
ESOPESOP-2008-Ong #approach #higher-order #verification
Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.
ESOPESOP-2008-Owens
A Sound Semantics for OCamllight (SO), pp. 1–15.
FASEFASE-2008-BoronatM #algebra
An Algebraic Semantics for MOF (AB, JM), pp. 377–391.
FASEFASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.
FoSSaCSFoSSaCS-2008-BonchiM #revisited
Symbolic Semantics Revisited (FB, UM), pp. 395–412.
FoSSaCSFoSSaCS-2008-KlinS #calculus #probability #process
Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.
FoSSaCSFoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
STOCSTOC-2008-JubaS #communication
Universal semantic communication I (BJ, MS), pp. 123–132.
SMTSMT-2007-ConchonCKL08 #congruence
CC(X): Semantic Combination of Congruence Closure with Solvable Theories (SC, EC, JK, SL), pp. 51–69.
CSLCSL-2008-HermantL #approach #axiom
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (OH, JL), pp. 169–183.
CSLCSL-2008-LagoL #game studies #linear #logic
Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.
CSLCSL-2008-Tranquilli #correctness #linear #logic #multi
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
ICLPICLP-2008-BuccafurriCL #logic #reasoning #social
A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.
ICLPICLP-2008-CaropreseT #constraints #declarative
Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.
ICLPICLP-2008-LiuY #representation #source code
Lparse Programs Revisited: Semantics and Representation of Aggregates (GL, JHY), pp. 347–361.
ICLPICLP-2008-OetschT
Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.
ICLPICLP-2008-Riguzzi #logic programming #source code
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (FR), pp. 667–671.
IJCARIJCAR-2008-UrbanSPV #automation #reasoning
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance (JU, GS, PP, JV), pp. 441–456.
LICSLICS-2008-Murawski #game studies #nondeterminism #reachability #source code
Reachability Games and Game Semantics: Comparing Nondeterministic Programs (ASM), pp. 353–363.
LICSLICS-2008-Staton #category theory #logic
General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.
MBTMBT-2008-PonsG #approach #lightweight #validation
A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
VMCAIVMCAI-2008-Cousot #abstract interpretation
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
DocEngDocEng-2007-GrozaSH07a #approach #documentation #generative #named
SALT: a semantic approach for generating document representations (TG, AS, SH), pp. 171–173.
DocEngDocEng-2007-PuginI
Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
DocEngDocEng-2007-TriebseesB #automation #documentation #embedded #migration #query #towards
Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.
DRRDRR-2007-GormishBBFS #documentation #representation
Pixel and semantic capabilities from an image-object based document representation (MJG, KB, MPB, GF, ELS).
TPDLECDL-2007-DiederichB #algorithm #automation #categorisation
The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems (JD, WTB), pp. 1–13.
TPDLECDL-2007-KovacsM #library #towards
Extending Semantic Matching Towards Digital Library Contexts (LK, AM), pp. 285–296.
TPDLECDL-2007-Nguer #library #query
Semantics and Pragmatics of Preference Queries in Digital Libraries (EMN), pp. 573–578.
HTHT-2007-CasteleynWH #adaptation #approach #aspect-oriented #web
A semantics-based aspect-oriented approach to adaptation in web engineering (SC, WVW, GJH), pp. 189–198.
HTHT-2007-GuerreroCPMM #approach #automation #clustering
Clustering as an approach to support the automatic definition of semantic hyperlinks (JACG, AAC, MdGCP, EVM, AAM), pp. 81–84.
HTHT-2007-LaniadoEC #folksonomy #navigation
A semantic tool to support navigation in a folksonomy (DL, DE, MC), pp. 153–154.
HTHT-2007-SahHGR #named #personalisation
Semport: a personalized semantic portal (MS, WH, NG, DDR), pp. 31–32.
HTHT-2007-schraefel #question #web #what #why
What is an analogue for the semantic web and why is having one important? (MMCS), pp. 123–132.
HTHT-2007-WongCWS #industrial #scalability #web
Lesson learnt from a large-scale industrial semantic web application (SCW, RMC, GBW, NRS), pp. 21–30.
ICDARICDAR-2007-BanerjeeHC #concept #database #documentation #image #query #word
Word image based latent semantic indexing for conceptual querying in document image databases (SB, GH, SC), pp. 1208–1212.
JCDLJCDL-2007-MarshallRC #education #question #standard
Standards or semantics for curriculum search? (BM, RFR, MNC), pp. 181–182.
VLDBVLDB-2007-AbadiMMH #clustering #data transformation #scalability #using #web
Scalable Semantic Web Data Management Using Vertical Partitioning (DJA, AM, SM, KJH), pp. 411–422.
VLDBVLDB-2007-BleiholderDN #data fusion #named
FuSem — Exploring Different Semantics of Data Fusion (JB, KD, FN), pp. 1350–1353.
VLDBVLDB-2007-LiuWC #keyword #named #using #xml
XSeek: A Semantic XML Search Engine Using Keywords (ZL, JW, YC), pp. 1330–1333.
VLDBVLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #transaction #web #web service
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
WCREWCRE-J-2005-KuhnDG07 #clustering #identification #source code #topic
Semantic clustering: Identifying topics in source code (AK, SD, TG), pp. 230–243.
ICSMEICSM-2007-ShaoKP #detection #empirical #evaluation #parallel
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.
ICALPICALP-2007-Laird
A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.
IFMIFM-2007-Jifeng #web #web service
UTP Semantics for Web Services (JH), pp. 353–372.
IFMIFM-2007-SinnigCK #case study #modelling
Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.
SEFMSEFM-2007-DanHC #diagrams #sequence chart #thread
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
SEFMSEFM-2007-ZhuHLB #algebra #approach #web #web service
Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
TLCATLCA-2007-Berardi #game studies
Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves (SB), pp. 23–38.
TLCATLCA-2007-JohannG #algebra #exclamation
Initial Algebra Semantics Is Enough! (PJ, NG), pp. 207–222.
TLCATLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language
Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
ICFPICFP-2007-SewellNOPRSS #effectiveness #named #tool support
Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
CHICHI-2007-WangJHDZ #clustering #image #named #web
IGroup: presenting web image search results in semantic clusters (SW, FJ, JH, QD, LZ), pp. 587–596.
HCIHCI-AS-2007-NguyenS #communication
ICT-Mediated Synchronous Communication in Creative Teamwork: From Cognitive Dust to Semantics (VN, PAS), pp. 692–701.
HCIHCI-MIE-2007-Alexandris #human-computer #quote #using
“Show and Tell”: Using Semantically Processable Prosodic Markers for Spatial Expressions in an HCI System for Consumer Complaints (CA), pp. 13–22.
HCIHCI-MIE-2007-ChoIITM #retrieval
Pictogram Retrieval Based on Collective Semantics (HC, TI, RI, TT, YM), pp. 31–39.
HCIHCI-MIE-2007-HanYYJ #analysis #automation #image #mobile #using
Automatic Mobile Content Conversion Using Semantic Image Analysis (EH, JY, HY, KJ), pp. 298–307.
HCIHCI-MIE-2007-NodaITF #adaptation #web
An Adaptive Web Browsing Method for Various Terminals: A Semantic Over-Viewing Method (HN, TI, YT, SF), pp. 440–448.
HCIHIMI-IIE-2007-KrachinaRT #ontology #perspective #policy #privacy
Reconciling Privacy Policies and Regulations: Ontological Semantics Perspective (OK, VR, KET), pp. 730–739.
HCIHIMI-IIE-2007-Sonntag #design #implementation #interactive #interface #mobile #multimodal #web
Interaction Design and Implementation for Multimodal Mobile Semantic Web Interfaces (DS), pp. 645–654.
HCIHIMI-MTT-2007-NgomoS
Involving the User in Semantic Search (ACNN, FS), pp. 507–516.
CAiSECAiSE-2007-LinS #modelling #process
Goal Annotation of Process Models for Semantic Enrichment of Process Knowledge (YL, AS), pp. 355–369.
EDOCEDOC-2007-ComerioPMP #web #web service
NFP-aware Semantic Web Services Selection (MC, FDP, AM, MP), pp. 484–494.
ICEISICEIS-AIDSS-2007-Cebulla #coordination #reasoning #specification #towards
Reactive Commonsense Reasoning — Towards Semantic Coordination with High-Level Specifications (MC), pp. 113–118.
ICEISICEIS-AIDSS-2007-ShethG #execution #middleware #non-functional #process #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-DISI-2007-CairesC #architecture #using #web
Using semantic web and service oriented technologies to build loosely coupled systems: SWOAT — a service and semantic web oriented architecture technology (BC, JC), pp. 226–232.
ICEISICEIS-DISI-2007-NemoBRK #composition #distributed #towards
Semantic orchestration merging — towards composition of overlapping orchestrations (CN, MBF, MR, GK), pp. 378–383.
ICEISICEIS-DISI-2007-ShethG #execution #middleware #non-functional #process #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-EIS-2007-LeutgebUWF #adaptation #process
Adaptive Processes in E-Government — A Field Report about Semantic-Based Approaches from the EU-Project “FIT” (AL, WU, RW, HGF), pp. 264–269.
ICEISICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #uml
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.
ICEISICEIS-EIS-2007-ShethG #execution #middleware #non-functional #process #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-HCI-2007-ShethG #execution #middleware #non-functional #process #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-J-2007-ShethG07a #execution #middleware #non-functional #process #workflow
The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers (APS, KG), pp. 16–26.
ICEISICEIS-SAIC-2007-AngioniDDVLMPPPSST #collaboration
A Collaborative, Semantic and Context Aware Search Engine (MA, RD, MD, EDV, CL, IM, GP, AP, AP, RS, AS, FT), pp. 213–218.
ICEISICEIS-SAIC-2007-Maximilien #approach #challenge #problem #ruby #using #web #web service
A Partial Solution to the Semantic Web Services Challenge Problem Using Swashup — The Ruby on Rails Services Mashup Approach (EMM), pp. 438–446.
ICEISICEIS-SAIC-2007-RezguiN #categorisation #composition #ontology #using
Ontology-Based Dynamic Service Composition Using Semantic Relatedness and Categorization Techniques (YR, SN), pp. 113–120.
ICEISICEIS-SAIC-2007-ShethG #execution #middleware #non-functional #process #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-SAIC-2007-WuGRSM #automation #composition #process #using #web #web service
Automatic Composition of Semantic Web Services Using Process Mediation (ZW, KG, AR, APS, JAM), pp. 453–462.
ICEISICEIS-SAIC-2007-ZarembaVMBCCVFT #challenge #comparison #towards #web #web service
Towards Semantic Interoperabilty — In-depth Comparison of Two Approaches to Solving Semantic Web Service Challenge Mediation Tasks (MZ, TV, MM, MB, SC, DC, EDV, FMF, CT), pp. 413–421.
CIKMCIKM-2007-BloehdornM #kernel
Structure and semantics for expressive text kernels (SB, AM), pp. 861–864.
CIKMCIKM-2007-Chu-CarrollP #case study #information management #performance
An experimental study of the impact of information extraction accuracy on semantic search performance (JCC, JMP), pp. 505–514.
CIKMCIKM-2007-FanizzidE #clustering #concept #induction #knowledge base #metric #random
Randomized metric induction and evolutionary conceptual clustering for semantic knowledge bases (NF, Cd, FE), pp. 51–60.
CIKMCIKM-2007-LvC #concept #information retrieval #named #peer-to-peer
CTO: concept tree based semantic overlay for pure peer-to-peer information retrieval (JL, XC), pp. 931–934.
CIKMCIKM-2007-PhamMLC #image #retrieval
Latent semantic fusion model for image retrieval and annotation (TTP, NM, JHL, JPC), pp. 439–444.
CIKMCIKM-2007-PriceNDV #component #documentation #retrieval
Semantic components enhance retrieval of domain-specific documents (SP, MLN, LMLD, PV), pp. 429–438.
CIKMCIKM-2007-RoussinovT #online #verification
Semantic verification in an online fact seeking environment (DR, OT), pp. 71–78.
ECIRECIR-2007-AyacheQG #classification #multi
Classifier Fusion for SVM-Based Multimedia Semantic Indexing (SA, GQ, JG), pp. 494–504.
ECIRECIR-2007-BloehdornM #classification #kernel
Combined Syntactic and Semantic Kernels for Text Classification (SB, AM), pp. 307–318.
ECIRECIR-2007-ZwolL #effectiveness #retrieval #using #xml
Effective Use of Semantic Structure in XML Retrieval (RvZ, TvL), pp. 621–628.
KDDKDD-2007-Baeza-YatesT #query
Extracting semantic relations from query logs (RABY, AT), pp. 76–85.
KDDKDD-2007-YuanWY #visual notation
From frequent itemsets to semantically meaningful visual patterns (JY, YW, MY), pp. 864–873.
SEKESEKE-2007-HappelS #architecture #information management #named #wiki
Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software Architectures (HJH, SS), p. 506–?.
SEKESEKE-2007-IlhanAB #named
SAM: Semantic Advanced Matchmaker (ESI, GBA, ABB), pp. 698–703.
SEKESEKE-2007-RalhaAM #architecture #grid
A Four-layered Semantic Grid Architecture (CGR, JNCA, ACMAdM), p. 724–?.
SEKESEKE-2007-SabucedoA
Semantic Support to Reformulate Public Services in Terms of Life Events (LÁS, LEAR), pp. 632–636.
SEKESEKE-2007-SantosH #algorithm #detection #xml
A Semantical Change Detection Algorithm for XML (RCS, CSH), pp. 438–443.
SEKESEKE-2007-SayedHZ #distance
A Context-Dependent Semantic Distance Measure (AES, HH, DAZ), pp. 432–437.
SIGIRSIGIR-2007-BroderFJR #approach
A semantic approach to contextual advertising (AZB, MF, VJ, LR), pp. 559–566.
SIGIRSIGIR-2007-Efron
Model-averaged latent semantic indexing (ME), pp. 755–756.
SIGIRSIGIR-2007-RattenburyGN #automation #towards
Towards automatic extraction of event and place semantics from flickr tags (TR, NG, MN), pp. 103–110.
SIGIRSIGIR-2007-TurnbullBTL #set #towards #using
Towards musical query-by-semantic-description using the CAL500 data set (DT, LB, DAT, GRGL), pp. 439–446.
SIGIRSIGIR-2007-ZhangL #classification
Semantic text classification of disease reporting (YZ, BL), pp. 747–748.
ECMFAECMDA-FA-2007-CuccuruMTG #metamodelling
Templatable Metamodels for Semantic Variation Points (AC, CM, FT, SG), pp. 68–82.
ECMFAECMDA-FA-2007-HerrmannKRSV #algebra #composition
An Algebraic View on the Semantics of Model Composition (CH, HK, BR, MS, SV), pp. 99–113.
ECMFAECMDA-FA-2007-ScheidgenF #specification
Human Comprehensible and Machine Processable Specifications of Operational Semantics (MS, JF), pp. 157–171.
MODELSMoDELS-2007-CuccuruMTG #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #qvt
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-WeilMNDB #analysis #automation #design #modelling
Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.
MODELSMoDELS-2007-CuccuruMTG #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #qvt
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-WeilMNDB #analysis #automation #design #modelling
Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.
OOPSLAOOPSLA-2007-StrniaaSP #design #java
The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.
TOOLSTOOLS-EUROPE-2007-LanoC #state machine
Direct Semantics of Extended State Machines (KL, DC), pp. 35–51.
PEPMPEPM-2007-EllnerT #visual notation
The semantics of graphical languages (SE, WT), pp. 122–133.
PLDIPLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #using
Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
PLDIPLDI-2007-ScherpelzLC #automation
Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.
POPLPOPL-2007-AvgustinovHOMSTV #aspectj
Semantics of static pointcuts in aspectJ (PA, EH, NO, OdM, DS, JT, MV), pp. 11–23.
POPLPOPL-2007-MatthewsF #multi #source code
Operational semantics for multi-language programs (JM, RBF), pp. 3–10.
POPLPOPL-2007-PredaCJD #approach #detection
A semantics-based approach to malware detection (MDP, MC, SJ, SKD), pp. 377–388.
PPDPPPDP-2007-AlTurkiM #realtime
Real-time rewriting semantics of orc (MA, JM), pp. 131–142.
PPDPPPDP-2007-BentonKBH #program transformation #relational
Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.
PPDPPPDP-2007-BentonZ #compilation #formal method #verification
Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.
PPDPPPDP-2007-Hamana #data type #higher-order #induction #type system
Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.
PPDPPPDP-2007-Lopez-FraguasRS
A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.
SASSAS-2007-Martel
Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.
GTTSEGTTSE-2007-Wachsmuth #domain-specific language #modelling
Modelling the Operational Semantics of Domain-Specific Modelling Languages (GW), pp. 506–520.
ICSEICSE-2007-Chalin #compilation #evolution #verification
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.
SACSAC-2007-AchananuparpHNJ #modelling
Semantically enhanced user modeling (PA, HH, ON, RJ), pp. 1335–1339.
SACSAC-2007-Al-MubaidN #concept #distance #framework
Semantic distance of concepts within a unified framework in the biomedical domain (HAM, HAN), pp. 142–143.
SACSAC-2007-AnGWC #automation #data flow #web
Semantic deep web: automatic attribute extraction from the deep web data sources (YJA, JG, YTW, SAC), pp. 1667–1672.
SACSAC-2007-CleenewerckK #domain-specific language
Separation of concerns in translational semantics for DSLs in model engineering (TC, IK), pp. 985–992.
SACSAC-2007-DinakarpandianTL #modelling #web
Modeling biomedical assertions in the semantic web (DD, TT, YL), pp. 1357–1361.
SACSAC-2007-HuangW #petri net #web #web service
A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.
SACSAC-2007-KoschmiderO #detection #how #process #question
How to detect semantic business process model variants? (AK, AO), pp. 1263–1264.
SACSAC-2007-NixonAT #towards #tuple #web
Towards Semantic tuplespace computing: the Semantic web spaces system (LJBN, OA, RT), pp. 360–365.
SACSAC-2007-SchumacherPCSF #web #web service
Federated directories of Semantic web services (MS, TVP, IC, AdOeS, BF), pp. 368–369.
SACSAC-2007-WahL #named
IS_SDM: an in-network semantic sensor data model (CKW, QL), pp. 959–960.
SACSAC-2007-YuSZX #graph #named #web #web service
SNet: skip graph based semantic web services discovery (JY, HS, GZ, KX), pp. 1393–1397.
CASECASE-2007-YangCZN #framework #web
A semantic web based framework for bio cell manipulation (RY, JC, LZ, GN), pp. 812–817.
DATEDATE-2007-ChenSN #behaviour #composition #specification
Compositional specification of behavioral semantics (KC, JS, SN), pp. 906–911.
DATEDATE-2007-WagnerB #trust
Engineering trust with semantic guardians (IW, VB), pp. 743–748.
PDPPDP-2007-JinN #peer-to-peer
Improving Search in Peer-to-Peer Literature Sharing Systems via Semantic Small World (HJ, XN), pp. 31–38.
SOSPSOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
WRLAWRLA-J-2004-OlveczkyM07 #maude #realtime
Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.
WRLAWRLA-2006-FarzanM07 #partial order #programming language #reduction
Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
WRLAWRLA-2006-KatelmanM07 #analysis #co-evolution #design #hardware
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (MK, JM), pp. 47–60.
WRLAWRLA-2006-SasseM07 #algebra #hoare #java #logic #verification
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
ESOPESOP-2007-AcarBD #consistency #self
A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
ESOPESOP-2007-KuanMF #type inference
A Rewriting Semantics for Type Inference (GK, DM, RBF), pp. 426–440.
FASEFASE-2007-GrammesG #tool support
SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
FASEFASE-2007-RobbesLL #approach #evolution
An Approach to Software Evolution Based on Semantic Change (RR, ML, ML), pp. 27–41.
FoSSaCSFoSSaCS-2007-RathkeSS
Semantic Barbs and Biorthogonality (JR, VS, PS), pp. 302–316.
CADECADE-2007-SutcliffeP #axiom #named
SRASS — A Semantic Relevance Axiom Selection System (GS, YP), pp. 295–310.
ICLPICLP-2007-CaliL #logic programming #probability #source code #web
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.
ICLPICLP-2007-Eiter #programming #set #web
Answer Set Programming for the Semantic Web (TE), pp. 23–26.
ICLPICLP-2007-GrecoM #consistency #database #query
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.
ICLPICLP-2007-NeedhamV #game studies
A Games Semantics of ASP (JN, MDV), pp. 460–461.
LICSLICS-2007-Klin #algebra #logic
Bialgebraic Operational Semantics and Modal Logic (BK), pp. 336–345.
LICSLICS-2007-MelliesT #game studies
Resource modalities in game semantics (PAM, NT), pp. 389–398.
TPDLECDL-2006-DoulkeridisNV #generative #library #scalability
Scalable Semantic Overlay Generation for P2P-Based Digital Libraries (CD, KN, MV), pp. 26–38.
TPDLECDL-2006-GendtIMS #case study #multi #web
Semantic Web Techniques for Multiple Views on Heterogeneous Collections: A Case Study (MvG, AI, LvdM, SS), pp. 426–437.
TPDLECDL-2006-HliaoutakisVPM #named #retrieval #similarity
MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity (AH, GV, EGMP, EEM), pp. 512–515.
TPDLECDL-2006-PedersenACTB #named
ALVIS — Superpeer Semantic Search Engine — ECDL 2006 Demo Submission (GSP, AA, MC, MT, WLB), pp. 461–462.
TPDLECDL-2006-SfakakisK #graph #protocol
A Semantics-Based Graph for the Bib-1 Access Points of the Z39.50 Protocol (MS, SK), pp. 445–448.
TPDLECDL-2006-WangXZ #library #query #video
Managing and Querying Video by Semantics in Digital Library (YW, CX, LZ), pp. 367–378.
HTHT-2006-Al-KhalifaD #evolution #metadata #standard
The evolution of metadata from standards to semantics in E-learning applications (HSAK, HCD), pp. 69–72.
PODSPODS-2006-Cohen #equivalence #query #set
Equivalence of queries combining set and bag-set semantics (SC), pp. 70–79.
PODSPODS-2006-GyssensPGF #documentation #navigation #xpath
Structural characterizations of the semantics of XPath as navigation tool on a document (MG, JP, DVG, GHLF), pp. 318–327.
SIGMODSIGMOD-2006-KandoganKRVZ #approach #database #information retrieval
Avatar semantic search: a database approach to information retrieval (EK, RK, SR, SV, HZ), pp. 790–792.
VLDBVLDB-2006-WangSLWYDRM #named #optimisation #query #runtime #xml
R-SOX: Runtime Semantic Query Optimization over XML Streams (SW, HS, ML, MW, SY, DD, EAR, MM), pp. 1207–1210.
VLDBVLDB-2006-YinHY #clustering #named #performance
LinkClus: Efficient Clustering via Heterogeneous Semantic Links (XY, JH, PSY), pp. 427–438.
VLDBVLDB-2006-YuanBWMH #integration
A Semantic Information Integration Tool Suite (JY, AB, CW, MOM, AH), pp. 1171–1174.
CSMRCSMR-2006-CugnoNSDT #automation #composition #tool support
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 (FdC, TDN, EDS, FMD, ET), pp. 343–346.
CSMRCSMR-2006-IvkovicK #architecture #framework #model transformation #refactoring #using
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations (II, KK), pp. 135–144.
ICPCICPC-2006-PoshyvanykMRGA #identification #probability #ranking
Combining Probabilistic Ranking and Latent Semantic Indexing for Feature Identification (DP, AM, VR, YGG, GA), pp. 137–148.
ICSMEICSM-2006-HouH #c++
Source-Level Linkage: Adding Semantic Information to C++ Fact-bases (DH, HJH), pp. 448–457.
SCAMSCAM-2006-FaganHU #data transformation #modelling #representation
Data Representation Alternatives in Semantically Augmented Numerical Models (MWF, LH, JU), pp. 85–94.
SCAMSCAM-2006-JacobsL #c #metaprogramming
SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
DLTDLT-2006-KountouriotisNR #boolean grammar
Well-Founded Semantics for Boolean Grammars (VK, CN, PR), pp. 203–214.
FMFM-2006-LundS #diagrams #sequence chart #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
ICGTICGT-2006-HolscherKK
Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.
SOFTVISSOFTVIS-2006-Pietriga #graph #visualisation #web
Semantic web data visualization with graph style sheets (EP), pp. 177–178.
CAiSECAiSE-2006-LinSHKS #framework #modelling #process
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models (YL, DS, SH, JK, AS), pp. 433–446.
EDOCEDOC-2006-BarrettP #automation #composition #modelling #using #web #web service
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics (RB, CP), pp. 417–422.
EDOCEDOC-2006-KuropkaBW #enterprise #framework #motivation #platform
Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios (DK, AB, MW), pp. 253–264.
EDOCEDOC-2006-ShafiqDF #multi #towards #web #web service
Bridging Multi Agent Systems and Web Services: towards interoperability between Software Agents and Semantic Web Services (MOS, YD, DF), pp. 85–96.
EDOCEDOC-2006-YanZY #contract #modelling #ontology #owl #using
Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.
ICEISICEIS-AIDSS-2006-RuffoloM #approach #information management
A Logic-Based Approach to Semantic Information Extraction (MR, MM), pp. 115–123.
ICEISICEIS-AIDSS-2006-SoaresSS #community
Selecting and Structuring Semantic Resources to Support SMEs Knowledge Communities (ALS, MMdS, DS), pp. 270–277.
ICEISICEIS-DISI-2006-GardarinDY #web
P2P Semantic Mediation of Web Sources (GG, FD, LY), pp. 7–15.
ICEISICEIS-DISI-2006-RinderleBR #framework #process
A Framework for Semantic Recovery Strategies in Case of Process Activity Failures (SR, SB, MR), pp. 136–143.
ICEISICEIS-HCI-2006-EspirituST #automation #named #topic #visualisation #wiki
ENWIC: Visualizing Wiki Semantics as Topic Maps — An Automated Topic Discovery and Visualization Tool (CE, ES, TT), pp. 35–42.
ICEISICEIS-ISAS-2006-BarresiRML #integration
Methodology to Support Semantic Resources Integration in the Construction Sector (SB, YR, FM, CL), pp. 94–101.
ICEISICEIS-ISAS-2006-BrockmansEKOS #process
Semantic Alignment of Business Processes (SB, ME, AK, AO, RS), pp. 191–196.
ICEISICEIS-J-2006-BarresiRLM #integration
Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.
ICEISICEIS-J-2006-GardarinDY06a #web
P2P Semantic Mediation of Web Sources (GG, FD, LY), pp. 3–16.
ICEISICEIS-J-2006-HaddadMR06a #synthesis
A Formal Semantics and a Client Synthesis for a BPEL Service (SH, PM, SR), pp. 388–401.
ICEISICEIS-J-2006-KoutsomitropoulosMKP06a #framework #logic #reasoning #web
Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines (DAK, DPM, ANK, TSP), pp. 351–362.
ICEISICEIS-J-2006-RuffoloM06a #documentation #information management #named #web
HiLeX: A System for Semantic Information Extraction from Web Documents (MR, MM), pp. 194–209.
ICEISICEIS-SAIC-2006-HaddadMR #synthesis #web #web service
Client Synthesis for Web Services by Way of a Timed Semantics (SH, PM, SR), pp. 19–26.
CIKMCIKM-2006-Girju
Out-of-context noun phrase semantic interpretation with cross-linguistic evidence (RG), pp. 268–276.
CIKMCIKM-2006-OjewoleZH #approximate #data type
Window join approximation over data streams with importance semantics (AO, QZ, WCH), pp. 112–121.
CIKMCIKM-2006-RanganathanL #database #information retrieval #query #relational #using
Information retrieval from relational databases using semantic queries (AR, ZL), pp. 820–821.
CIKMCIKM-2006-VardeRRBMS #clustering #design
Designing semantics-preserving cluster representatives for scientific input conditions (ASV, EAR, CR, DCB, MM, RDSJ), pp. 708–717.
CIKMCIKM-2006-ZieglerSL #automation #proximity #taxonomy #using
Automatic computation of semantic proximity using taxonomic knowledge (CNZ, KS, GL), pp. 465–474.
ECIRECIR-2006-ChakrabortiLWW #named
Sprinkling: Supervised Latent Semantic Indexing (SC, RL, NW, SNKW), pp. 510–514.
ECIRECIR-2006-HoenkampD
A Fingerprinting Technique for Evaluating Semantics Based Indexing (EH, SvD), pp. 397–406.
ICPRICPR-v1-2006-BhattacharyaRD #clustering #fuzzy #image #representation #retrieval #using
Image Representation and Retrieval Using Support Vector Machine and Fuzzy C-means Clustering Based Semantical Spaces (PB, MMR, BCD), pp. 929–935.
ICPRICPR-v1-2006-MillerW #analysis #word
Word Completion with Latent Semantic Analysis (TM, EW), pp. 1252–1255.
ICPRICPR-v1-2006-QiDZ #analysis #case study #image
Semantic Analysis on Medical Images: A Case Study (DQ, ERED, RZ), pp. 1260–1263.
ICPRICPR-v1-2006-RyooA #comprehension #process #recursion
Semantic Understanding of Continued and Recursive Human Activities (MSR, JKA), pp. 379–382.
ICPRICPR-v2-2006-BhattacharyaRD06a #clustering #fuzzy #image #representation #retrieval #using
Image Representation and Retrieval Using Support Vector Machine and Fuzzy C-means Clustering Based Semantical Spaces (PB, MMR, BCD), pp. 1162–1168.
ICPRICPR-v2-2006-YuC #image #segmentation #using
Joint Image Segmentation and Interpretation Using Iterative Semantic Region Growing on SAR Sea Ice Imagery (QY, DAC), pp. 223–226.
ICPRICPR-v4-2006-YuI #approach #named
Spatial-HMM: A new approach for Semantic Annotation of Histological (FY, HHSI), pp. 663–666.
KDDKDD-2006-MeiXCHZ #analysis #generative
Generating semantic annotations for frequent patterns with context analysis (QM, DX, HC, JH, CZ), pp. 337–346.
KDDKDD-2006-TangZL #classification #data-driven #taxonomy
Acclimatizing taxonomic semantics for hierarchical content classification from semantics to data-driven taxonomy (LT, JZ, HL), pp. 384–393.
KDDKDD-2006-YooHS #clustering #graph #integration #refinement #representation
Integration of semantic-based bipartite graph representation and mutual refinement strategy for biomedical literature clustering (IY, XH, IYS), pp. 791–796.
KRKR-2006-AgotnesA #logic
Semantics for Dynamic Syntactic Epistemic Logics (, NA), pp. 411–419.
KRKR-2006-CabalarOP #logic
Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.
KRKR-2006-Jauregui #imperative #logic
Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.
KRKR-2006-ThielscherW #calculus
The Features-and-Fluents Semantics for the Fluent Calculus (MT, TW), pp. 362–370.
KRKR-2006-ZamanskyA #first-order #logic #nondeterminism
Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
SEKESEKE-2006-MrissaGBM #composition #towards #web #web service
Towards Context-based Mediation for Semantic Web Services Composition (MM, CG, DB, ZM), pp. 714–719.
SEKESEKE-2006-PaoliL #collaboration
Enhancing Semantic Interoperability in Collaborative Systems (FDP, ML), pp. 29–34.
SEKESEKE-2006-ZhaoGQC #abstraction #constraints #prolog
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.
SIGIRSIGIR-2006-Chu-CarrollPCFD #approach #information retrieval #xml
Semantic search via XML fragments: a high-precision approach to IR (JCC, JMP, KC, DAF, PAD), pp. 445–452.
SIGIRSIGIR-2006-FangZ #axiom #information retrieval
Semantic term matching in axiomatic approaches to information retrieval (HF, CZ), pp. 115–122.
SIGIRSIGIR-2006-Mu #matter #question #retrieval #video #visual notation
Content-based video retrieval: does video’s semantic visual feature matter? (XM), pp. 679–680.
SIGIRSIGIR-2006-Mu06a #retrieval #video #visual notation
Supporting semantic visual feature browsing in contentbased video retrieval (XM), p. 734.
SIGIRSIGIR-2006-WangSCZ #analysis #multi
Latent semantic analysis for multiple-type interrelated data objects (XW, JTS, ZC, CZ), pp. 236–243.
SIGIRSIGIR-2006-ZhouHZLS #approach #information retrieval #modelling
Context-sensitive semantic smoothing for the language modeling approach to genomic IR (XZ, XH, XZ, XL, IYS), pp. 170–177.
ECMFAECMDA-FA-2006-OKeefe #consistency #logic #uml
Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.
MODELSMoDELS-2006-Beeck #uml
A Formal Semantics of UML-RT (MvdB), pp. 768–782.
MODELSMoDELS-2006-BruckerDW #analysis #model transformation
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-DiskinD #towards #uml
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MODELSMoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.
MODELSMoDELS-2006-MarkovicB #ocl #qvt
An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MODELSMoDELS-2006-TaleghaniA #uml
Semantic Variations Among UML StateMachines (