11436 search results - page 1899 / 2288 » Modeling Real Reasoning |
129
click to vote
BC
2006
15 years 5 months ago
2006
Abstract In primates, it is well known that there is a consistent relationship between the duration, peak velocity and amplitude of saccadic eye movements, known as the `main seque...
120
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
152
Voted
DEBU
2006
15 years 5 months ago
2006
The wide deployment of wireless sensor and RFID (Radio Frequency IDentification) devices is one of the key enablers for next-generation pervasive computing applications, including...
148
Voted
ENTCS
2006
15 years 5 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
160
Voted
ENTCS
2006
15 years 5 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...