417 search results - page 25 / 84 » The Start of an Eiffel Standard |
CCS
2003
ACM
14 years 1 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper presents a novel hybrid method combining genetic programming and decision tree learning. The method starts by estimating a benchmark level of reasonable accuracy, based ...
JETAI
2002
13 years 8 months ago
2002
We study decision-theoretic planning or reinforcement learning in the presence of traps such as steep slopes for outdoor robots or staircases for indoor robots. In this case, achi...
CCR
2010
13 years 8 months ago
2010
TCP flows start with an initial congestion window of at most four segments or approximately 4KB of data. Because most Web transactions are short-lived, the initial congestion wind...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
The industry is currently starting to use MPEG-4 compressed digital video for surveillance applications. The transition from analog to digital video raises difficulties for using ...