8337 search results - page 1513 / 1668 » Reasoning With Characteristic Models |
128
click to vote
BC
2006
15 years 4 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 4 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...
147
click to vote
DEBU
2006
15 years 4 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...
147
click to vote
IJAIT
2008
15 years 4 months ago
2008
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
147
click to vote
ENTCS
2006
15 years 4 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...