A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Filters
An experiment in scientific program understanding
2000
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. ...
These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes. ...
Further, its use of fundamental representation and expert parsers provides an example for automating other scientific and engineering tasks. ...
doi:10.1109/ase.2000.873678
dblp:conf/kbse/Stewart00
fatcat:vem7fq34mzdt7pioa6hl7uj2pq
Collaborative Semantic Management and Automated Analysis of Scientific Literature
[chapter]
2014
Lecture Notes in Computer Science
in curating and organizing scientific literature. ...
In this demo paper, we go beyond these approaches by demonstrating how an innovative combination of semantic web technologies with natural language processing can mitigate the information overload by helping ...
automated text analysis workflows. ...
doi:10.1007/978-3-319-11955-7_73
fatcat:knzbeyh6ung2toe7x36p3poaoa
RESEARCH OF APPROACHES TO THE RECOGNITION OF SEMANTIC IMAGES OF SCIENTIFIC PUBLICATIONS BASED ON NEURAL NETWORKS
2021
Environment Technology Resources Proceedings of the International Scientific and Practical Conference
Training of this neural network will automate the processes of pattern recognition and classification of scientific publications according to specified criteria. ...
The article discusses methods for the formation and recognition of semantic images of scientific publications belonging to specific subject areas. ...
Modern approaches to the organization of automated analysis of scientific texts are mainly associated with the use of neural network technologies. ...
doi:10.17770/etr2021vol2.6628
fatcat:4tntxcliqzecrlayudkuvpvd3y
TIB's Portal for audiovisual media
2014
IFLA Journal
TIB's AV-Portal offers new methods for searching within videos enabled by automated video analysis with scene, speech, text and image recognition. ...
The German National Library of Science and Technology (TIB) is developing a web-based platform for audiovisual media. ...
The future AV-Portal will optimise access to and the use of scientific videos from the fields of engineering and science. ...
doi:10.1177/0340035214526531
fatcat:vlpushynxngtxhk6ou62zmnt6m
Automated Land Resource Classification of Electronic Photograph Based on Satellite CMOS Detector
[chapter]
2013
Lecture Notes in Electrical Engineering
Color based image segmentation
• Did semantic analysis research
Made relevant statistics
2012/6/24
EECS2012
4
Comparison
Comparison
Outline
• Introduction
• Methods
• Experiments and ...
On the contrary, K-means is suitable for simple topography. • East China Normal University-Software Engineering Institute • Shanghai Key Laboratory of Trustworthy Computing • Research Interests -Machine ...
has great scientific significance and practical value for both city planning and automated resource monitoring Thank You! ...
doi:10.1007/978-3-642-31528-2_82
fatcat:u7i7yoobt5gnxjghwv2jns4tm4
Perspectives on automated composition of workflows in the life sciences
2021
F1000Research
We start by drawing the "big picture" of the scientific workflow development life cycle, before surveying and discussing current methods, technologies and practices for semantic domain modelling, automation ...
Formal semantic domain modelling is hard and often a bottleneck for the application of semantic technologies. ...
This underscores the relevance of systematic dynamic analysis of scientific tools and workflows, discussed further below. ...
doi:10.12688/f1000research.54159.1
pmid:34804501
pmcid:PMC8573700
fatcat:ht57fgnzwbbmdmkazs7wi7r5s4
Page 1573 of Linguistics and Language Behavior Abstracts: LLBA Vol. 25, Issue 3
[page]
1991
Linguistics and Language Behavior Abstracts: LLBA
; electrical engineering terminology; 9106920
text interpretation, real/hypothetical relation recognition, English instructional scientific discourse; contrast explicitness; experi- ments; science F aaaaetd ...
, analogical to creative metaphor continuum, mathematical jargon; 9106306
SNOMED (Systemized Nomenclature of Medicine), artificial- intelligence-based automation proposal; 9106732
co ere eee specialized ...
A semantic Web services enabled Web portal architecture
2004
Proceedings. IEEE International Conference on Web Services, 2004.
Web services technologies are emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of distributed scientific ...
The portal design demonstrates that flexibility, reusability and interoperability can be provided for both end users and portal developers by using semantic web services technologies. ...
They are also emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of distributed scientific and engineering ...
doi:10.1109/icws.2004.1314964
dblp:conf/icws/XiangM04
fatcat:atzc544ewbfhxlxjiyvgpuqo34
Establish a scientific concept of network security and build a strong defense line of network security
2020
2020 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)
He is currently a member of the Standing Committee of the Information and Electronic Engineering Department of the Chinese Academy of Engineering, a member of the State Council Information Technology Expert ...
He was once awarded the honorary title of "Navy Model Scientific and Technological Worker" and was named a national young and middle-aged expert with outstanding contributions. ...
Specifically, he has performed research involving program analysis, automated program verification/testing, semantic-based program clustering, and symbolic execution optimization. ...
doi:10.1109/cyberc49757.2020.00010
fatcat:pw43pcowrvhq5pjlwgowaqzp3q
Message of thanks
2012
SIGPLAN notices
An established design automation toolset provides a rapid means of world-wide transfer of new scientific results into everyday engineering practice. ...
Analogous tools for scientific analysis of programs are used by the software industry to help in the engineering of critical parts of widely used software. ...
doi:10.1145/2103621.2103659
fatcat:q4ckaqtwevayveuhumrk4bmi5i
Biomedical Semantics: the Hub for Biomedical Research 2.0
2010
Journal of Biomedical Semantics
The main focus of JBMS is the development and integration of semantics resources into the biomedical research practice. ...
We would like to welcome you to Journal of Biomedical Semantics (JBMS), a new openaccess, peer-reviewed inter-disciplinary journal that addresses novel theoretical and practical advances in biomedical ...
JBMS: towards the next generation of biomedical investigations JBMS is primarily focused on the engineering, population and scientific exploitation of semantic resources in biomedicine. ...
doi:10.1186/2041-1480-1-1
pmid:20618983
pmcid:PMC2895735
fatcat:iidmzu5jljdanavpzaxchluppy
SEMANTIC ANALYSIS AND SYN SIS AND SYNTHESIS IN THE A THESIS IN THE AUTOMATIC ANALYSIS OF THE TEXT
2021
Scientific Reports of Bukhara State University
In the information-search engine, semantic analysis and synthesis occupy a leading place. ...
Highlighting the importance of the semantic analyzer in the information search engine, it is first of all associated with the study of the process of semantic analysis and synthesis in the automatic analysis ...
language SemA, the semantic analyzer and its position in the information search engine directly depend on the importance of semantic analysis and synthesis in the automatic analysis of the text. ...
doi:10.52297/2181-1466/2021/5/1/9
fatcat:36oei63nnvhj3oxy672mpsiyai
Towards a Semantic Web Platform for Finite Element Simulations
[chapter]
2014
Lecture Notes in Computer Science
This work demonstrates how Semantic Web technologies can be used to represent FE simulation data, improving the reproducibility and automation of FE simulations. ...
The growth in the complexity of FE models and their associated costs bring the demand to facilitate the construction, reuse and reproducibility of FE models. ...
, including Biology, Physics and Engineering. ...
doi:10.1007/978-3-319-11955-7_45
fatcat:oqo4upxzr5cqdfjaebxfj77ize
The Grid
2002
SIGMOD record
The application thrust is large-scale scientific endeavour, and the scale and complexity of scientific data presents challenges for databases. ...
The Grid is beginning to exploit technologies developed for Web Services and to realise its potential it also stands to benefit from Semantic Web technologies; conversely, the Grid and its scientific users ...
Special thanks to Nigel Shadbolt, Nick Jennings and Sean Bechhofer. ...
doi:10.1145/637411.637422
fatcat:fgpjwtqyknadzf2gcgougnc3le
Semantic Provenance for eScience: Managing the Deluge of Scientific Data
2008
IEEE Internet Computing
We also thank Will York and James Atwood III for their valuable input during the development of the ProPreO ontology. ...
Complex Relationships in the Semantic Web." ...
Many prior efforts have automated scientific protocols, and workflowbased automation in itself isn't novel; what's new is the support for semantic provenance. ...
doi:10.1109/mic.2008.86
fatcat:4qtokzdkmva57djepa5dismvqi
« Previous
Showing results 1 — 15 out of 33,744 results