Sciweavers

2646 search results - page 281 / 530
» Local Type Inference
Sort
View
JOT
2007
81views more  JOT 2007»
15 years 6 months ago
Persistent Objects and Capabilities in Timor
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
CORR
2004
Springer
139views Education» more  CORR 2004»
15 years 6 months ago
Artificial Ant Colonies in Digital Image Habitats - A Mass Behaviour Effect Study on Pattern Recognition
Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
Vitorino Ramos, Filipe Almeida
COLING
2002
15 years 6 months ago
Location Normalization for Information Extraction
Ambiguity is very high for location names. For example, there are 23 cities named `Buffalo' in the U.S. Country names such as `Canada', `Brazil' and `China' ar...
Huifeng Li, Rohini K. Srihari, Cheng Niu, Wei Li 0...
CORR
2007
Springer
122views Education» more  CORR 2007»
15 years 6 months ago
Impact of Thermal Behavior on Offset in a High-Q Gyroscope
In this paper, the CFD approach is used to simulate the thermal behavior in a sensitive high-Q gyroscope. The electromagnetically driving wires, in which the alternating current f...
Fei Duan, Jiwei Jiao, Yucai Wang
SIAMCO
2000
75views more  SIAMCO 2000»
15 years 6 months ago
Feedback Stabilization and Lyapunov Functions
Given a locally defined, nondifferentiable but Lipschitz Lyapunov function, we construct a (discontinuous) feedback law which stabilizes the underlying system to any given toleran...
F. H. Clarke, Yu. S. Ledyaev, L. Rifford, R. J. St...