Results 241 to 250 of about 170,074,763 (296)

A system for picture labeling

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 2002
Content-based image retrieval is emerging as an important research area with potential applications in many domains, notably multimedia databases and digital libraries. The goal of the present research is to create a usable system that performs automatic picture labeling.
G. Daigle   +3 more
openaire   +2 more sources

Fibring Labelled Deduction Systems

Journal of Logic and Computation, 2002
Fibring is one of the techniques for constructing new logics. The fibring of two logics is obtained by combining their languages, deduction systems and semantics. The main goal of the paper is to show how labelled deduction systems can be fibred. Two forms of fibring: constrained and unconstrained fibring are considered in the paper.
João Rasga   +3 more
openaire   +3 more sources

Photoaffinity Labeling of Biological Systems

Annual Review of Biochemistry, 1979
PERSPECTIVES AND SUMMARY . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294 HISTORICAL DEVELOPMENT 295 Diazoacetyl Chymotrypsin 295 Other Diazoacyl Enzymes 298 Labeling of Enzyme-Photolabile Reagent Complexes 299 Labeling of Antibodies 300 Pseudophotoaffinity Labeling 30 1
V, Chowdhry, F H, Westheimer
openaire   +2 more sources

THE LABELED SYSTEMS OF MULTIPLE NEURAL NETWORKS

International Journal of Neural Systems, 2008
This paper proposes an implementation scheme of K-class classification problem using systems of multiple neural networks. Usually, a multi-class problem is decomposed into simple sub-problems solved independently using similar single neural networks. For the reason that these sub-problems are not equivalent in their complexity, we propose a system that
Mohamed Nemissi   +2 more
openaire   +3 more sources

A Labeled Deduction System for the Logic UB

2013 20th International Symposium on Temporal Representation and Reasoning, 2013
We propose an approach for defining labeled natural deduction systems for the class of Peircean branching temporal logics, seen as logics in their own right rather than as sub logics of Ockhamist systems. In particular, we give a system for the logic UB, i.e., the until-free fragment of CTL, and show that it is sound and complete.
Carlos Caleiro   +2 more
openaire   +2 more sources

Ellipsis in a Labelled Deduction System

Logic Journal of IGPL, 1995
L'A. a recours au modele LDS nl d'interpretation des textes de Gabbay et Kempson pour analyser l'ellipse VP et illustrer la maniere par laquelle la dynamique des processus de demonstration reussit a expliquer les restrictions configurationnelles imposees a l'interpretation des fragments elliptiques.
openaire   +1 more source

Overview on Nonradioactive Labeling Systems

1992
A variety of labeling systems for nucleic acids, proteins, and glycans have been developed in the past decade. The table shows an overview of the important labeling and detection systems, including cross-references to the descriptions in the other chapters and sections in this book.
openaire   +1 more source

Home - About - Disclaimer - Privacy