Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,651,626 papers from all fields of science
Search
Sign In
Create Free Account
Programming domain
A programming domain defines a specific kind of use for a programming language. Some examples of programming domains are: * General purpose…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Computer vision
Domain-specific language
Image processing
Internet
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Predicate Specialization for Definitional Higher-order Logic Programs
Antonis Troumpoukis
,
A. Charalambidis
International Workshop/Symposium on Logic-based…
2018
Corpus ID: 51985125
Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as…
Expand
2018
2018
Code generation from on-board software models conforming to the On-board Software Reference Architecture (OSRA) using DLR software technologies
Raghuraj Tarikere Phaniraja Setty
2018
Corpus ID: 199005319
European Space Agency (ESA) and its industrial partners have come up with the On-board Software Reference Architecture (OSRA…
Expand
2015
2015
Luzzu Quality Metric Language - A DSL for Linked Data Quality Assessment
Jeremy Debattista
,
C. Lange
,
S. Auer
arXiv.org
2015
Corpus ID: 14208763
The steadily growing number of linked open datasets brought about a number of reservations amongst data consumers with regard to…
Expand
2013
2013
Ontology for Robot Programming domain
Ignas Plauska
2013
Corpus ID: 14892984
Robot programming requires knowledge of embedded systems, mechatronics, principles of kinematics and locomotion, sensors and…
Expand
2012
2012
LP and SDP branch-and-cut algorithms for the minimum graph bisection problem: a computational comparison
Michael Armbruster
,
Marzena Fügenschuh
,
C. Helmberg
,
Alexander Martin
Mathematical Programming Computation
2012
Corpus ID: 255616552
While semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph…
Expand
2011
2011
The Design and Implementation of an Enculturated Web-Based Intelligent Tutoring System for Computer Science Education
Phaedra S. Mohammed
,
P. Mohan
IEEE 11th International Conference on Advanced…
2011
Corpus ID: 25951410
Accommodating for learner diversity based on cultural backgrounds has not yet been a major personalisation focus until recently…
Expand
2008
2008
High-Level GPU Programming: Domain-Specific Optimization and Inference
Calle Lejdfors
2008
Corpus ID: 30721399
When writing computer software one is often forced to balance the need for high run-time performance with high programmer…
Expand
2000
2000
Designing Reusable Patterns of Cross-Cutting Behaviour with Composition Patterns
S. Clarke
2000
Corpus ID: 11056248
1. INTRODUCTION The current limitations in the decomposition capabilities of object-oriented software force the tangling of cross…
Expand
1990
1990
Reasoning About Continuous Systems
K. Chandy
Science of Computer Programming
1990
Corpus ID: 8351220
Review
1977
Review
1977
Program Inference from Traces using Multiple Knowledge Sources
J. Phillips
International Joint Conference on Artificial…
1977
Corpus ID: 6583482
This paper presents an overview of a framework for the synthesis of high-level program descriptions from traces and example pairs…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE