1851 search results - page 169 / 371 » Open Source AI |
140
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
199
click to vote
CONIELECOMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
122
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
A single datum or a set of a categorical data has little value on its own. Combinations of disparate sets of data increase the value of those data sets and helps to discover intere...
143
click to vote
CCS
2000
ACM
15 years 8 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
116
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we describe rate control and motion estimation in x264, an open source H.264/AVC encoder. We compare the rate control methods of x264 with the JM reference encoder ...