Results 131 to 140 of about 9,173 (174)

A LOTOS Simulator in OBJ

Formal Techniques for (Networked and) Distributed Systems, 1990
In this paper, we show how to write a LOTOS simulator using OBJ. Both syntax rules and their inference rules (axioms) of LOTOS can be formally specified by operator definition part and equation definition part in OBJ, respectively.
K. Ohmaki, Koichi Takahashi, K. Futatsugi   +2 more
semanticscholar   +2 more sources

Operational Semantics of OBJ-3 (Extended Abstract)

International Colloquium on Automata, Languages and Programming, 1988
An efficient operational semantics for order-sorted algebras is given, based on the notion of equational order-sorted rewriting with improvements such as general variables allowing to discard sort checks, and such as partition of the set of rewrite rules allowing fast selection of the rewrite rule to be applied.
C. Kirchner, H. Kirchner, J. Meseguer
semanticscholar   +2 more sources

Software process a la Algebra: OBJ for OBJ

[1990] Proceedings. 12th International Conference on Software Engineering, 1990
A. T. Nakagawa, K. Futatsugi
semanticscholar   +3 more sources

Information Hiding into OBJ Format File Using Vector Steganography Techniques

International Symposium on Applied Computational Intelligence and Informatics, 2018
Branislav Madoš, Anton Balaz, Norbert Adam   +2 more
exaly   +2 more sources

Obj-NeRF: Extract Object NeRFs from Multi-view Images

arXiv.org, 2023
Neural Radiance Fields (NeRFs) have demonstrated remarkable effectiveness in novel view synthesis within 3D environments. However, extracting a radiance field of one specific object from multi-view images encounters substantial challenges due to ...
Zhiyi Li, Lihe Ding, Tianfan Xue
semanticscholar   +1 more source

Introducing OBJ

Advances in Formal Methods, 2000
Joseph A Goguen, Jean-Pierre Jouannaud, Goguen Joseph A   +2 more
exaly   +2 more sources

re-OBJ: Jointly Learning the Foreground and Background for Object Instance Re-identification

International Conference on Image Analysis and Processing, 2019
Conventional approaches to object instance re-identification rely on matching appearances of the target objects among a set of frames. However, learning appearances of the objects alone might fail when there are multiple objects with similar appearance ...
Vaibhav Bansal, Stuart James, A. D. Bue
semanticscholar   +1 more source

Optimization of Physical and Nutritive Parameters for Phytase Production from Fermented Pentaclethra Macrophylla (Obj 2 and 3)

International journal of research and innovation in applied science
Producing natural phytase without any health or environmental challenge targeted the main focus of many researchers. Many studies focused on fungal phytase as an extracellular phytase, but due to substrate specificity, resistance to proteolysis and ...
A. O. Obianom, F. Odibo, I. Iheukwumere
semanticscholar   +1 more source

SENTIWORDNET: A Publicly Available Lexical Resource for Opinion Mining

International Conference on Language Resources and Evaluation, 2006
Opinion mining (OM) is a recent subdiscipline at the crossroads of information retrieval and computational linguistics which is concerned not with the topic a document is about, but with the opinion it expresses.
Andrea Esuli, F. Sebastiani
semanticscholar   +1 more source

From OBJ to ML to Coq

2006
Rigorous program development is notoriously difficult because it involves many aspects, among which specification, programming, verification, code reuse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them.
Jacek Chrzaszcz, Jean-Pierre Jouannaud
openaire   +1 more source