3955 search results - page 414 / 791 » Comparing the Power of Robots |
203
click to vote
SFM
2007
Springer
16 years 1 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
247
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
203
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we propose a system design for delivery of immersive communications to mobile wireless devices based on a distributed proxy model. It is demonstrated that this archi...
206
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Efficient multimodal fusion is a key feature of future video indexing systems. Hidden Markov Models provide a powerful framework for video structure analysis but they require all...
184
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
: In this paper, we propose a methodology based on genetic programming to automatically generate hardware designs of substitution boxes necessary for many cryptosystems such as DES...