2706 search results - page 106 / 542 » Dynamical models of sentence processing |
GLVLSI
2000
IEEE
14 years 2 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— We describe here our proposed method to investigate the sliding motion of a soft fingertip in the dexterous manipulation. This paper focuses on analyzing dynamic slidi...
TSP
2010
13 years 4 months ago
2010
[1, 2] have shown for the dynamic spectrum allocation problem that a competitive market model (which sets a price for transmission power on each channel) leads to a greater social...