3020 search results - page 515 / 604 » Type Analysis of Prolog Using Type Graphs |
IJBC
2007
13 years 9 months ago
2007
We investigate the behaviour of a neural network model consisting of three neurons with delayed self and nearest-neighbour connections. We give analytical results on the existence...
AUTOMATICA
2005
13 years 9 months ago
2005
It has been argued that the frequency domain accuracy of high model-order estimates obtained on the basis of closed loop data is largely invariant to whether direct or indirect ap...
TIP
2008
13 years 9 months ago
2008
Detection of moving objects in video streams is the first relevant step of information extraction in many computer vision applications. Aside from the intrinsic usefulness of being...
IWC
2007
13 years 9 months ago
2007
We motivate an approach to evaluating the utility of life-like interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obta...
TKDE
2008
13 years 9 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...