我们收录了 "金芝" 的 263 篇 paper：

• Modeling and verifying Web services driven by requirements: An ontology-based approach., 2020-05-18
• Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach., 2020-05-18
• From knowledge based software engineering to knowware based software engineering., 2020-05-18
• NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming., 2020-05-13
• Deep code comment generation with hybrid lexical and syntactical information., 2020-05-13
• NTIRE 2020 Challenge on Perceptual Extreme Super-Resolution: Methods and Results., 2020-05-10
• Towards a service requirements modelling ontology based on agent knowledge and intentions., 2020-05-10
• Modeling programs hierarchically with stack-augmented LSTM., 2020-05-08
• Unifying domain ontology with agent-oriented modeling of services., 2020-04-30
• A Framework for Agent-Based Service-Oriented Modelling., 2020-04-30
• 互联网环境中基于环境激发效应的协同式概念建模 (Stigmergy-based Collaborative Conceptual Modeling in Web Environment)., 2020-04-27
• Why Do Neural Dialog Systems Generate Short and Meaningless Replies? A Comparison between Dialog and Translation., 2020-04-22
• Why Do Neural Dialog Systems Generate Short and Meaningless Replies? a Comparison between Dialog and Translation., 2020-04-22
• IntelliMerge: a refactoring-aware software merging technique., 2020-04-16
• Detecting Code Clones with Graph Neural Network and Flow-Augmented Abstract Syntax Tree., 2020-04-16
• A Flexible Deep CNN Framework for Image Restoration., 2020-04-09
• Ontology patterns for service-oriented software development., 2020-04-09
• Information Fusion based Quality Enhancement for 3D Stereo Images Using CNN., 2020-04-02
• Towards ontological approach to eliciting risk-based security requirements., 2020-03-27
• Weakly Supervised Salient Object Detection With Spatiotemporal Cascade Neural Networks., 2020-03-27
• Video salient object detection via spatiotemporal attention neural networks., 2020-03-27
• Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection., 2020-03-24
• Eliciting dependability requirements: a control cases based approach., 2020-03-24
• Elicitation of Dependability Requirements: A HAZOP-based Approach., 2020-03-24
• A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems., 2020-03-24
• Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling., 2020-03-24
• Elicit the Requirements on Software Dependability: A Knowledge-Based Approach., 2020-03-24
• A 30 MHz-3 GHz watt-level stacked-FET linear power amplifier., 2020-03-17
• RIDNet: Recursive Information Distillation Network for Color Image Denoising., 2020-03-12
• Missing Data Analysis: A Kernel-Based Multi-Imputation Approach., 2020-03-06
• Code Generation as a Dual Task of Code Summarization., 2020-03-06
• Two-step gate-recess process combining selective wet-etching and digital wet-etching for InAlAs/InGaAs InP-based HEMTs., 2020-03-05
• Implementation decision making for internetware driven by quality requirements., 2020-03-02
• Preface., 2020-03-02
• Detecting Code Clones with Graph Neural Networkand Flow-Augmented Abstract Syntax Tree., 2020-03-02
• Capability description and discovery of Internetware entity., 2020-03-02
• A 4-GS/s 8-bit two-channel time-interleaved folding and interpolating ADC., 2020-03-02
• Petri net based test case generation for evolved specification., 2020-03-02
• Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence., 2020-03-02
• Missing data imputation by utilizing information within incomplete instances., 2020-02-24
• Handling over-fitting in test cost-sensitive decision tree learning by feature selection, smoothing and pruning., 2020-02-24
• Summary queries for frequent itemsets mining., 2020-02-24
• A Syntax-based approach to measuring the degree of inconsistency for belief bases., 2020-02-21
• From inconsistency handling to non-canonical requirements management: A logical perspective., 2020-02-21
• Modeling Programs Hierarchically with Stack-Augmented LSTM., 2020-02-12
• Deep code comment generation., 2020-02-03
• Natural Language Inference by Tree-Based Convolution and Heuristic Matching., 2020-01-28
• Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Paths., 2020-01-28
• Compressing Neural Language Models by Sparse Word Representations., 2020-01-28
• How Transferable are Neural Networks in NLP Applications?, 2020-01-28
• Discriminative Neural Sentence Modeling by Tree-Based Convolution., 2020-01-28
• A Comparative Study on Regularization Strategies for Embedding-based Neural Networks., 2020-01-28
• Environment-Centric Self-Adaptivity for Autonomous Systems in Smart Spaces., 2020-01-07
• Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems., 2020-01-04
• Joint Texture/Depth Power Allocation for 3-D Video SoftCast., 2019-12-19
• NIIA: Nonparametric Iterative Imputation Algorithm., 2019-12-17
• Learning high-dimensional multimedia data., 2019-12-17
• Missing Value Estimation for Mixed-Attribute Data Sets., 2019-12-17
• RE4CPS: Requirements Engineering for Cyber-Physical Systems., 2019-12-11
• Environment-Centric Safety Requirements for Autonomous Unmanned Systems., 2019-12-11
• Virtual-View-Assisted Video Super-Resolution and Enhancement., 2019-12-05
• Robust Plane Detection Using Depth Information From a Consumer Depth Camera., 2019-12-05
• Multiview video plus depth transmission via virtual-view-assisted complementary down/upsampling., 2019-12-05
• Modeling Timing Requirements in Problem Frames Using CCSL., 2019-12-03
• An Efficient Quality Enhancement Solution for Stereo Images., 2019-11-30
• Color Image Demosaicking Using a 3-Stage Convolutional Neural Network Structure., 2019-10-19
• POET: Privacy on the Edge with Bidirectional Data Transformations., 2019-10-19
• Modelling and analysing resilient cyber-physical systems., 2019-10-19
• Code Generation as a Dual Task of Code Summarization., 2019-10-16
• Codesign of K a-Band Integrated GaAs PIN Diodes Limiter and Low Noise Amplifier., 2019-10-11
• A five-octave broadband LNA MMIC using bandwidth enhancement and noise reduction technique., 2019-10-11
• 1-30 GHz ultra-wideband low noise amplifier with on-chip temperature-compensation circuit., 2019-10-11
• Preface., 2019-10-11
• Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems., 2019-09-25
• Summarizing Source Code with Transferred API Knowledge., 2019-09-16
• Improved relation classification by deep recurrent neural networks with data augmentation., 2019-09-11
• Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation., 2019-09-11
• Deep-AutoCoder: Learning to Complete Code Precisely with Induced Code Tokens., 2019-09-05
• Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models., 2019-08-19
• Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition., 2019-05-31
• Fault Severity Classification and Size Estimation for Ball Bearings Based on Vibration Mechanism., 2019-05-31
• Toward Better Summarizing Bug Reports With Crowdsourcing Elicited Attributes., 2019-05-29
• Coupling Distributed and Symbolic Execution for Natural Language Queries., 2019-04-04
• Coupling Distributed and Symbolic Execution for Natural Language Queries., 2019-04-03
• Forward and backward traceability: Requirements and challenges (Keynote)., 2019-03-29
• A CNN cascade for quality enhancement of compressed depth images., 2019-03-21
• Multi-modal metric learning for vehicle re-identification in traffic surveillance environment., 2019-03-21
• Multi-Scale Spatiotemporal Conv-LSTM Network for Video Saliency Detection., 2019-03-21
• Web Service Composition: An Approach Using Effect-Based Reasoning., 2019-02-13
• Integrating Goal Model into Rule-Based Adaptation., 2019-02-05
• Mining globally interesting patterns from multiple databases using kernel estimation., 2019-01-07
• Solving Pictorial Jigsaw Puzzle by Stigmergy-inspired Internet-based Human Collective Intelligence., 2019-01-01
• Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components., 2018-12-23
• Assignment problem in requirements driven agent collaboration and its implementation., 2018-11-30
• 2nd international workshop on advances and applications of problem frames., 2018-11-26
• QoS-aware service composition using blockchain-based smart contracts., 2018-11-21
• On early statistical requirements validation of cyber-physical space systems., 2018-11-21
• Companies' domination in FLOSS development: an empirical study of OpenStack., 2018-11-21
• Service discovery for internet of things: a context-awareness perspective., 2018-11-06
• Modeling in agent oriented internetware framework., 2018-11-06
• iMashup: assisting end-user programming for the service-oriented web., 2018-11-06
• Requirements driven agent collaboration., 2018-11-06
• 3rd international workshop on advances and applications of problem frames., 2018-11-06
• Internetware computing: issues and perspective., 2018-11-06
• Hierarchical RNN with Static Sentence-Level Attention for Text-Based Speaker Change Detection., 2018-11-06
• User preference based autonomic generation of self-adaptive rules., 2018-11-06
• Aggregation of autonomous Internetware entities., 2018-11-06
• An approach for selecting implementation strategies of non-functional requirements., 2018-11-06
• DelayDroid: Reducing Tail-Time Energy by Refactoring Android Apps., 2018-11-06
• A problem-driven collaborative approach to eliciting requirements of internetwares., 2018-11-06
• Distilling Word Embeddings: An Encoding Approach., 2018-11-06
• CoFM: a web-based collaborative feature modeling system for internetware requirements' gathering and continual evolution., 2018-11-06
• A Feature-Driven Approach to Automated Class Diagram Construction., 2018-11-06
• TDL: a transformation description language from feature model to use case for automated use case derivation., 2018-11-06
• Requirements driven agent collaboration., 2018-11-06
• Towards Better Summarizing Bug Reports with Crowdsourcing Elicited Attributes., 2018-10-30
• Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models., 2018-10-22
• Evolving Quantum Circuits for Temporal Averaging in Bulk Quantum Computation., 2018-09-23
• Compressing Neural Language Models by Sparse Word Representations., 2018-08-13
• Compression of phase-only holograms with JPEG standard and deep learning., 2018-08-13
• Distilling Word Embeddings: An Encoding Approach., 2018-08-13
• Hierarchical RNN with Static Sentence-Level Attention for Text-Based Speaker Change Detection., 2018-08-13
• Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems., 2018-08-13
• Tree-based Convolution: A New Neural Architecture for Sentence Modeling., 2018-08-13
• Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Path., 2018-08-13
• Backbone Language Modeling for Constrained Natural Language Generation., 2018-08-13
• Improved Knowledge Base Completion by Path-Augmented TransR Model., 2018-08-13
• A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems., 2018-08-13
• Building Program Vector Representations for Deep Learning., 2018-08-13
• A Comparative Study on Regularization Strategies for Embedding-based Neural Networks., 2018-08-13
• How Transferable are Neural Networks in NLP Applications?, 2018-08-13
• Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective., 2018-08-13
• A Model-Based Fuzzy Control Approach to Achieving Adaptation with Contextual Uncertainties., 2018-08-13
• Recognizing Entailment and Contradiction by Tree-based Convolution., 2018-08-13
• Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation., 2018-08-13
• Improved Relation Classification by Deep Recurrent Neural Networks with Data Augmentation., 2018-08-13
• TBCNN: A Tree-Based Convolutional Neural Network for Programming Language Processing., 2018-08-13
• Coupling Distributed and Symbolic Execution for Natural Language Queries., 2018-08-13
• Proving inequalities and solving global optimization problems via simplified CAD projection, 2018-08-13
• Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach., 2018-08-13
• Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach., 2018-08-13
• Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models., 2018-08-13
• On End-to-End Program Generation from User Intention by Deep Neural Networks., 2018-08-13
• Semantic Approach for Service Oriented Requirements Modeling., 2018-06-26
• Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements., 2018-06-26
• Dptool: A Tool for Supporting the Problem Description and Projection., 2018-05-16
• A Scenario-Based Problem Decomposition., 2018-05-16
• Performing Projection in Problem Frames Using Scenarios., 2018-05-16
• Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based Approach., 2018-05-16
• An Ontology of Problem Frames for Guiding Problem Frame Specification., 2018-05-16
• Planar surfaces detection on depth map using patch based approach., 2018-02-18
• Eliciting Activity Requirements from Crowd Using Genetic Algorithm., 2018-01-06
• A decremental algorithm of frequent itemset maintenance for mining updated databases., 2017-11-05
• A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules., 2017-08-22
• Managing Software Requirements Changes Based on Negotiation-Style Revision., 2017-08-17
• Learning Sparse Overcomplete Word Vectors Without Intermediate Dense Representations., 2017-08-14
• Improved Knowledge Base Completion by the Path-Augmented TransR Model., 2017-08-14
• Learning to Infer API Mappings from API Documents., 2017-08-14
• An Automatic Reasoning Mechanism for NFR Goal Models., 2017-06-15
• Automated Reasoning with Goal Tree Models for Software Quality Requirements., 2017-06-15
• Requirement Driven Service Agent Coalition Formation and Negotiation., 2017-06-15
• Requirement Driven Agent Collaboration Based on Functional Ontology and AMD., 2017-06-15
• Measuring the significance of inconsistency in the Viewpoints framework., 2017-06-08
• Special issue on applications and advances in problem frames., 2017-06-06
• A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements., 2017-06-06
• rΣ: Automated reasoning tool for non-functional requirement goal models., 2017-06-05
• Knowledge Merging under Multiple Attributes., 2017-06-04
• A Framework for the Elicitation and Analysis of Information Technology Service Requirements and Their Alignment with Enterprise Business Goals., 2017-06-02
• A Measurement-Driven Process Model for Managing Inconsistent Software Requirements., 2017-06-01
• Handling non-canonical software requirements based on Annotated Predicate Calculus., 2017-05-28
• Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing., 2017-05-28
• Ontology-Based Semantic Cache in AOKB., 2017-05-28
• Revisiting the Meaning of Requirements., 2017-05-28
• SCKE: Combining logic- with object-oriented paradigm., 2017-05-28
• The structure and semantics of an object-oriented logic programming language: SCKE., 2017-05-28
• A general framework for measuring inconsistency through minimal inconsistent sets., 2017-05-28
• An experiment for showing some kind of artificial understanding., 2017-05-28
• Beyond Knowledge Engineering., 2017-05-28
• Automating application software generation., 2017-05-28
• Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse., 2017-05-27
• Guest Editors' Introduction., 2017-05-27
• Towards Ontological Approach to Security Risk Analysis of Information System: Model and Architecture., 2017-05-26
• Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach., 2017-05-26
• Mining class-bridge rules based on rough sets., 2017-05-26
• Detecting of Requirements Inconsistency : An Ontology-Based Approach., 2017-05-26
• A process algebra for environment-based specification of web services., 2017-05-26
• A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements., 2017-05-26
• On Constructing Environment Ontology for Semantic Web Services., 2017-05-25
• Verifying Software Requirements Based on Answer Set Programming., 2017-05-25
• Extending the Problem Frames Approach for Capturing Non-functional Requirements., 2017-05-25
• Context-Aware Tree-Based Convolutional Neural Networks for Natural Language Inference., 2017-05-25
• Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery., 2017-05-25
• Quality enhancement of quality-asymmetric multiview plus depth video by using virtual view., 2017-05-25
• An Engineerable Ontology Based Approach for Requirements Elicitation in Process Centered Problem Domain., 2017-05-25
• Learning Embeddings of API Tokens to Facilitate Deep Learning Based Program Processing., 2017-05-25
• Building Program Vector Representations for Deep Learning., 2017-05-25
• Trust Analysis of Web Services Based on a Trust Ontology., 2017-05-25
• An Approach to Generating Proposals for Handling Inconsistent Software Requirements., 2017-05-25
• A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements., 2017-05-25
• A Trust Measurement Mechanism for Service Agents., 2017-05-25
• Some Cognitive Aspects of a Turing Test for Children., 2017-05-24
• Towards A Service Requirements Ontology on Knowledge and Intention., 2017-05-24
• From Use Case Model to Service Model: An Environment Ontology Based Approach., 2017-05-24
• A Knowware Based Infrastructure for Rule Based Control Systems in Smart Spaces., 2017-05-23
• An Agent-Oriented Requirement Graphic Symbol Representation and Formalization Modeling Method., 2017-05-23
• MCT: a tool for commenting programs by multimedia comments., 2017-05-23
• OSNET - A Language for Domain Modeling., 2017-05-23
• Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach., 2017-05-23
• Ontology-Based Inconsistency Management of Software Requirements Specifications., 2017-05-23
• An Agent-Based Trust Model for Service-Oriented Systems., 2017-05-23
• Requirement Driven Service Agent Collaboration and QoS Based Negotiation., 2017-05-23
• A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization., 2017-05-23
• Integrating Goals and Problem Frames in Requirements Analysis., 2017-05-22
• Goal model driven alternative selection: a quantitative approach., 2017-05-22
• CoFM: An environment for collaborative feature modeling., 2017-05-22
• A Use Case Based Approach to Feature Models' Construction., 2017-05-22
• Mining binary constraints in the construction of feature models., 2017-05-22
• AVT Vector: A Quantitative Security Requirements Evaluation Approach Based on Assets, Vulnerabilities and Trustworthiness of Environment., 2017-05-22
• Balancing Academic and Industrial Needs in RE Courses., 2017-05-22
• Towards Controllable Requirements Engineering Processes based on Cybernetics., 2017-05-21
• An Agent-Based Framework Supporting Trust Evaluation for Service Selection., 2017-05-21
• Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective., 2017-05-21
• FECT: A Modelling Framework for Automatically Composing Web Services., 2017-05-21
• Requirement Specification in Pseudo-Natural Language in PROMIS., 2017-05-21
• Agent-Oriented Requirements Analysis from Scenarios., 2017-05-21
• Inconsistency-Based Strategy for Clarifying Vague Software Requirements., 2017-05-21
• Transforming Code with Compositional Mappings for API-Library Switching., 2017-05-21
• Domain Hyponymy Hierarchy Discovery by Iterative Web Searching and Inferable Semantics Based Concept Selecting., 2017-05-21
• Environment Ontology-Based Capability Specification for Web Service Discovery., 2017-05-21
• Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming., 2017-05-21
• Super-Resolution of Depth Map Exploiting Planar Surfaces., 2017-05-21
• Measuring Inconsistency in Requirements Specifications., 2017-05-21
• Service-Oriented Modeling: An Extensive Reuse Method., 2017-05-21
• Web Service Retrieval: An Approach Based on Context Ontology., 2017-05-21
• Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm., 2017-05-20
• Specifying and Composing Web Services with an Environment Ontology-Based Approach., 2017-05-20
• Building toward Capability Specifications of Web Services Based on an Environment Ontology., 2017-05-20
• Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging., 2017-05-20
• Service-Oriented Modeling: An Ontology-based Approach., 2017-05-19
• A Modeling Approach for Service-Oriented Application Based on Extensive Reuse., 2017-05-19
• Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach., 2017-05-19
• Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems., 2017-05-19
• An Approach for Specifying Capability ofWeb Services based on Environment Ontology., 2017-05-19
• 3-D video depth map quantization based on Lloyd's algorithm., 2017-05-19
• Reasoning About Hybrid Probabilistic Knowledge Bases., 2017-05-19
• FECT: A Framework for Automatic Composition ofWeb Services., 2017-05-19
• Requirement Engineering in Service-Oriented System Engineering., 2017-05-19
• Stigmergy-Based Construction of Internetware Artifacts., 2017-05-18
• Measuring the blame of each formula for inconsistent prioritized knowledge bases., 2017-05-17
• Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching., 2017-05-17
• Strategies for complex data cube queries., 2017-05-17
• A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems., 2017-05-17
• A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees., 2017-05-17
• Web Services Composing by Multiagent Negotiation., 2017-05-17
• Proving inequalities and solving global optimization problems via simplified CAD projection., 2017-05-17
• Preface., 2017-05-17
• Lightweight semantic service modelling for IoT: an environment-based approach., 2017-05-06
• Convolutional Neural Networks over Tree Structures for Programming Language Processing., 2016-05-30
• Preface., 2013-01-30
• An Agent Based Framework for Internetware Computing., 2013-01-30
• Preface., 2013-01-30
• Measuring Software Requirements Evolution Caused by Inconsistency., 2013-01-30
• Internetware Computing: Issues and Perspective., 2013-01-30