3955 search results - page 414 / 791 » Comparing the Power of Robots |
146
click to vote
SFM
2007
Springer
15 years 10 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 ...
159
click to vote
CSFW
2006
IEEE
15 years 10 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...
136
click to vote
ICMCS
2006
IEEE
15 years 10 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...
150
click to vote
ICMCS
2005
IEEE
15 years 10 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...
113
click to vote
ITCC
2005
IEEE
15 years 10 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...