Sciweavers

15421 search results - page 2981 / 3085
» Dependability
Sort
View
126
Voted
APAL
2002
101views more  APAL 2002»
15 years 4 months ago
The logic of tasks
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
Giorgi Japaridze
APIN
2002
121views more  APIN 2002»
15 years 4 months ago
Applying Learning by Examples for Digital Design Automation
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
Ben Choi
165
Voted
ARTMED
2004
118views more  ARTMED 2004»
15 years 4 months ago
Bayesian fluorescence in situ hybridisation signal classification
Previous research has indicated the significance of accurate classification of fluorescence in situ hybridisation (FISH) signals for the detection of genetic abnormalities. Based ...
Boaz Lerner
BC
2004
95views more  BC 2004»
15 years 4 months ago
Tactile efficiency of insect antennae with two hinge joints
Antennae are the main organs of the arthropod tactile sense. In contrast to other senses that are capable of retrieving spatial information, e.g. vision, spatial sampling of tactil...
André Frank Krause, Volker Dürr
BC
2002
133views more  BC 2002»
15 years 4 months ago
Cortical network reorganization guided by sensory input features
Abstract. Sensory experience alters the functional organization of cortical networks. Previous studies using behavioral training motivated by aversive or rewarding stimuli have dem...
Michael P. Kilgard, Pritesh K. Pandya, Navzer D. E...
« Prev « First page 2981 / 3085 Last » Next »