Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!

Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Semantics

Results

Strong verification of programs

1975 / IEEE
By: Basu, S.K.; Yeh, R.T.;

An experimental program-testing facility

1975 / IEEE
By: Fairley, R.E.;

On preventing programming languages from interfering with programming

1975 / IEEE
By: McKeeman, W.M.;

Subgraph error-correcting isomorphisms for syntactic pattern recognition

1983 / IEEE
By: Wen-Hsiang Tsai; King-Sun Fu;

Computer control via limited natural language

1985 / IEEE
By: Biermann, A.W.; Sigmon, A.H.; Fink, P.K.;

Computer understanding of air traffic control displays

1985 / IEEE
By: Cross, S.E.;

Approaches toward silicon compilation

1985 / IEEE
By: Hirschhorn, S.S.; Goldberg, A.V.; Lieberheer, K.J.;

The trace specification of communications protocols

1985 / IEEE
By: Hoffman, D.;

Development of a debugger for a concurrent language

1986 / IEEE
By: Baiardi, F.; Vaglini, G.; De Francesco, N.;

The automatic inversion of attribute grammars

1986 / IEEE
By: Mueckstein, E.-M.M.; Yellin, D.M.;

Knowledge-based programming: A survey of program design and construction techniques

1986 / IEEE
By: Goldberg, A.T.;

Axiomatizing software test data adequacy

1986 / IEEE
By: Weyuker, E.J.;

RT-ASLAN: A specification language for real-time systems

1986 / IEEE
By: Auernheimer, B.; Kemmerer, R.A.;

An overview of JSD

1986 / IEEE
By: Cameron, J.R.;

Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems

1986 / IEEE
By: Avrunin, G.S.; Riddle, W.E.; Wileden, J.C.; Dillon, L.K.;

A formal method for composing a network command language

1986 / IEEE
By: Meandzija, B.;

SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

1986 / IEEE
By: Vernon, M.K.; Razouk, R.R.; Fenchel, R.S.; Estrin, G.;

ARES: A relational database with the capability of performing flexible interpretation of queries

1986 / IEEE
By: Ichikawa, T.; Hirakawa, M.;

Modular redundancy in a message passing system

1986 / IEEE
By: Mancini, L.;

Direct implementation of abstract data types from abstract specifications

1986 / IEEE
By: Urban, J.E.; Belkhouche, B.;

Guest Editors' Introduction: Multimedia Metadata and Semantic Management

2009 / IEEE
By: Chbeir, Richard; Ishikawa, Hiroshi; Andres, Frederic; Kosch, Harald;

Semantic MPEG Query Format Validation and Processing

2009 / IEEE
By: Choi, M.; Gruhne, M.; Delgado, J.; Tous, R.; Yakou, A.N.N.; Doller, M.; Tae-Beom Lim;

Using Social Networking and Collections to Enable Video Semantics Acquisition

2009 / IEEE
By: Ritz, C.H.; Davis, S.J.; Burnett, I.S.;

An Interactive Attention- Ranking System for Video Search

2009 / IEEE
By: Jenq-Neng Hwang; Chung-Lin Huang; Huang-Chia Shih;

Ontology-based automatic video annotation technique in smart TV environment

2011 / IEEE
By: Jin-Woo Jeong; Dong-Ho Lee; Hyun-Ki Hong;

A Service-Oriented Web Application Framework

2011 / IEEE
By: Harmon, R.R.; Demirkan, H.; Goul, M.;

An Autonomous Framework to Produce and Distribute Personalized Team-Sport Video Summaries: A Basketball Case Study

2011 / IEEE
By: Fan Chen; De Vleeschouwer, C.; Delannay, D.;

Car Interior Noise

2011 / IEEE
By: Shuming Chen; Dengfeng Wang;

Hierarchical Event Selection for Video Storyboards with a Case Study on Snooker Video Visualization

2011 / IEEE
By: Griffiths, I.W.; Chung, D.H.S.; Legg, P.A.; Parry, M.L.; Min Chen;

WYSIWYG (What You See is What You Get) Volume Visualization

2011 / IEEE
By: Hanqi Guo; Xiaoru Yuan; Ningyu Mao;

Semantics in Location-Based Services [Guest editor's introduction]

2011 / IEEE
By: lllarramendi, Arantza; Ilarri, Sergio; Sheth, Amit; Mena, Eduardo;

VisBricks: Multiform Visualization of Large, Inhomogeneous Data

2011 / IEEE
By: Partl, C.; Streit, M.; Schulz, H.-J.; Lex, A.; Schmalstieg, D.;

Semantic Traffic-Aware Routing Using the LarKC Platform

2011 / IEEE
By: Celino, I.; Della Valle, E.; Tresp, V.; Steinke, F.; Grothmann, R.; Dell'Aglio, D.;

MoleView: An Attribute and Structure-Based Semantic Lens for Large Element-Based Plots

2011 / IEEE
By: Hurter, C.; Telea, A.; Ersoy, O.;

A Framework for Integrating, Exploring, and Searching Location-Based Web Data

2011 / IEEE
By: Quarteroni, S.; Ceri, S.; Brambilla, M.; Bozzon, A.;

Automated composition of data-path functionality in the future internet

2011 / IEEE
By: Wolf, T.; Shanbhag, S.;

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions

2011 / IEEE
By: Mukhopadhyay, S.; Dasgupta, P.; Mukherjee, S.;

Automatic Understanding of ATC Speech: Study of Prospectives and Field Experiments for Several Controller Positions

2011 / IEEE
By: Gonzalez, G.; D'Haro, L.F.; San-Segundo, R.; Montero, J.M.; Macias-Guarasa, J.; Pardo, J.M.; De Cordoba, R.; Sama, V.; Fernandez, F.; Ferreiros, J.;

A hierarchical context dissemination framework for managing federated clouds

2011 / IEEE
By: Strassner, J.; Latre, S.; Famaey, J.; De Turck, F.;

Returning Clustered Results for Keyword Search on XML Documents

2011 / IEEE
By: Lei Chen; Changxuan Wan; Xiping Liu;

Aesthetics and Emotions in Images

2011 / IEEE
By: Jiebo Luo; Jia Li; Wang, J.Z.; Quang-Tuan Luong; Fedorovskaya, E.; Datta, R.; Joshi, D.;

Comparison of Evolutionary and Rule-Based Strategies for Electromagnetic Device Optimization

2012 / IEEE
By: Jun Ouyang; Lowther, D.A.;

Evolutionary and Swarm Computing for the Semantic Web

2012 / IEEE
By: Dentler, K.; Schlobach, S.; Gueret, C.; Eiben, G.; Schut, M.;

An Approach to Source-Code Plagiarism Detection and Investigation Using Latent Semantic Analysis

2012 / IEEE
By: Joy, M.; Cosma, G.;

Matching and Merging of Variant Feature Specifications

2012 / IEEE
By: Nejati, S.; Zave, P.; Easterbrook, S.; Chechik, M.; Sabetzadeh, M.;

Semantic Interaction for Sensemaking: Inferring Analytical Reasoning for Model Steering

2012 / IEEE
By: Fiaux, P.; Endert, A.; North, C.;

Exploring Context and Content Links in Social Media: A Latent Space Method

2012 / IEEE
By: Guo-Jun Qi; Huang, T.S.; Heng Ji; Qi Tian; Aggarwal, C.;

Flickr Distance: A Relationship Measure for Visual Concepts

2012 / IEEE
By: Shipeng Li; Wei-Ying Ma; Nenghai Yu; Xian-Sheng Hua; Lei Wu;

Locality-Sensitive Hashing for Chi2 Distance

2012 / IEEE
By: Gorisse, D.; Precioso, F.; Cord, M.;

Framework for intelligent service adaptation to user's context in next generation networks

2012 / IEEE
By: Calavia, L.; Carro, B.; Aguiar, J.M.; Baladron, C.; Sanchez-Esguevillas, A.; Cadenas, A.;

A semantic enhanced service exposure model for a converged service environment

2012 / IEEE
By: Gyu Myoung Lee; Cuiting Huang; Crespi, N.;

Preventing DoS attacks in NGN networks with proactive specification-based fuzzing

2012 / IEEE
By: Rontti, T.; Takanen, A.; Juuso, A.-M.;

Service-Oriented Infrastructure to Support the Deployment of Evolvable Production Systems

2011 / IEEE
By: Colombo, A.W.; Candido, G.; Jammes, F.; Barata, J.;

Resource and service management architecture of a low capacity network for smart spaces

2012 / IEEE
By: Lukkien, J.; Ozcelebi, T.; Bhardwaj, S.; Uysal, C.;

A combined method for multi-class image semantic segmentation

2012 / IEEE
By: Hui Wang; Xin Zhang; Chao Gao;

A Collaborative Decentralized Approach to Web Search

2012 / IEEE
By: Papagelis, A.; Zaroliagis, C.;

Automatic TLM Fault Localization for SystemC

2012 / IEEE
By: Grosse, D.; Le, H.M.; Drechsler, R.;

Language and Discourse Are Powerful Signals of Student Emotions during Tutoring

2012 / IEEE
By: D'Mello, S.K.; Graesser, A.;

Semantic Inference on Heterogeneous E-Marketplace Activities

2012 / IEEE
By: Zhiguo Gong; Lida Xu; Jingzhi Guo; Chaudhry, S.S.; Chin-Pang Che;

Model Checking Analysis of Semantically Annotated Business Processes

2012 / IEEE
By: Ezpeleta, J.; Alvarez, P.; Fabra, J.; Ibanez, M.J.;

Fast and Accurate Annotation of Short Texts with Wikipedia Pages

2012 / IEEE
By: Ferragina, P.; Scaiella, U.;

Reducing Energy Use: A Dual-Channel Link

2012 / IEEE
By: Christensen, K.; McLean, I.;

Cross-Domain Multicue Fusion for Concept-Based Video Indexing

2012 / IEEE
By: Weng, Ming-Fang; Chuang, Yung-Yu;

SWAP: Parallelization through Algorithm Substitution

2012 / IEEE
By: Wenting He; Hengjie Li; Chengyong Wu; Temam, O.; Eeckhout, L.; Yang Chen;

Dealing With Uncertain Entities in Ontology Alignment Using Rough Sets

2012 / IEEE
By: Jan, S.; Man Qi; Mousavi, A.; Al-Raweshidy, H.; Maozhen Li;

Semi-Supervised Hashing for Large-Scale Search

2012 / IEEE
By: Shih-Fu Chang; Kumar, S.; Jun Wang;

Web Interface Interpretation Using Graph Grammars

2012 / IEEE
By: Pnueli, A.; Bergman, R.; Barkol, O.; Jun Kong; Chunying Zhao; Kang Zhang; Schein, S.;

Toward Visualization in Policy Modeling

2012 / IEEE
By: Burkhardt, D.; Ruppert, T.; Nazemi, K.; Kohlhammer, J.;

Content-Based Microscopic Image Retrieval System for Multi-Image Queries

2012 / IEEE
By: Akakin, H.C.; Gurcan, M.N.;

Automatic Stochastic Arabic Spelling Correction With Emphasis on Space Insertions and Deletions

2012 / IEEE
By: Al-Qabbany, A.O.; Alghamdi, M.M.; Al-Badrashiny, M.A.; Alkanhal, M.I.;

Semantic Perception: Converting Sensory Observations to Abstractions

2012 / IEEE
By: Henson, C.; Thirunarayan, K.; Sheth, A.;

Semantic Image Retrieval in Magnetic Resonance Brain Volumes

2012 / IEEE
By: Basir, O.; Quddus, A.;

Mutually Reinforced Manifold-Ranking Based Relevance Propagation Model for Query-Focused Multi-Document Summarization

2012 / IEEE
By: Xiaoyan Cai; Wenjie Li;

Prosodic Realization of Rhetorical Structure in Chinese Discourse

2012 / IEEE
By: Yufang Yang; Xiaohong Yang;

Querying Heterogeneous Datasets on the Linked Data Web: Challenges, Approaches, and Trends

2012 / IEEE
By: Oliveira, J.G.; Curry, E.; Freitas, A.; O'Riain, S.;

An Alternative to the Top-Down Semantic Web of Services

2012 / IEEE
By: Agarwal, S.; Petrie, C.;

Minimum discrimination information-based language model adaptation using tiny domain corpora for intelligent personal assistants

2012 / IEEE
By: Jang, G.-J.; Kim, S.; Kim, J.-H.;

Semantic Heterogeneity Issues on the Web

2012 / IEEE
By: Gracia, J.; Mena, E.;

synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs

2012 / IEEE
By: Patel, H.D.; Sinha, R.;

Assertion Aware Sampling Refinement: A Mixed-Signal Perspective

2012 / IEEE
By: Dasgupta, P.; Mukherjee, S.;

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions

2012 / IEEE
By: Mukherjee, S.; Dasgupta, P.;

Roy: A Statically Typed, Functional Language for JavaScript

2012 / IEEE
By: McKenna, B.;

Duplicate-Search-Based Image Annotation Using Web-Scale Data

2012 / IEEE
By: Wang, X.-J.; Ma, W.-Y.; Zhang, L.;

Web-Scale Multimedia Information Networks

2012 / IEEE
By: Qi, G.-J.; Huang, T. S.; Cao, L.; Tsai, S.-F.; Tsai, M.-H.;

Statistical Entity Extraction From the Web

2012 / IEEE
By: Wen, J.-R.; Nie, Z.; Ma, W.-Y.;

The Linked Data Strategy for Global Identity

2012 / IEEE
By: Glaser, H.; Halpin, H.;

Role-Based Access Control in Retrospect

2012 / IEEE
By: Franqueira, V.N.L.; Wieringa, R.J.;

Toward Semantic Interoperability of Electronic Health Records

2012 / IEEE
By: Bermudez, J.; Berges, I.; Illarramendi, A.;

Wireless Capsule Endoscopy Video Segmentation Using an Unsupervised Learning Approach Based on Probabilistic Latent Semantic Analysis With Scale Invariant Features

2012 / IEEE
By: Yao Shen; Buckles, B.P.; Guturu, P.;

Trail of Bytes: New Techniques for Supporting Data Provenance and Limiting Privacy Breaches

2012 / IEEE
By: Krishnan, S.; Monrose, F.; Snow, K.Z.;

Naturalistic Dialogue Management for Noisy Speech Recognition

2012 / IEEE
By: Passonneau, R.J.; Ligorio, T.; Epstein, S.L.;

Semantic-Based Enhancement of ISO/IEC 14543-3 EIB/KNX Standard for Building Automation

2011 / IEEE
By: Scioscia, F.; Ruta, M.; Loseto, G.; Di Sciascio, E.;

Reasoning with Large Scale Ontologies in Fuzzy pD* Using MapReduce

2012 / IEEE
By: Yong Yu; Haofen Wang; Guilin Qi; Chang Liu;

Large-Scale Storage and Reasoning for Semantic Data Using Swarms

2012 / IEEE
By: Muhleisen, H.; Dentler, K.;

A Process Algebra Genetic Algorithm

2012 / IEEE
By: Karaman, S.; Frazzoli, E.; Shima, T.;

Multidisciplinary Interoperability for Earth Observations: Some Architectural Issues

2012 / IEEE
By: Mazzetti, P.; Nativi, S.;

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience

2012 / IEEE
By: Seligman, E.; Korchemny, D.; Bustan, D.; Jin Yang;

Low-Power Design Using the Si2 Common Power Format

2012 / IEEE
By: Sharma, L.; Mathur, A.; Carver, S.; Qi Wang; Urish, S.; Subbarao, P.;

Understanding the Accellera SCE-MI Transaction Pipes

2012 / IEEE
By: Lee, J.; Stickley, J.; Bailey, B.; Garg, D.; Lim, A.; Prabhakar, A.; Chandra, R.; Bojsen, P.;

On the Security of Key-Based Interval Splitting Arithmetic Coding With Respect to Message Indistinguishability

2012 / IEEE
By: Vosoughi, A.; Katti, R.S.;

Return To Top

Topic: Semantics

Results

Next Page