2940 search results - page 237 / 588 » Relational Parametricity and Control |
147
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
124
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Overcoming the semantic-feature gap and adapting to context are two main challenges in content-based retrieval. The problem is even more complicated for unstructured videos such a...
142
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
149
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper is concerned with information theoretic "metrics" for comparing two dynamical systems. Following the recent work of Tryphon Georgiou [1], we outline a predicti...
181
click to vote
AI50
2006
15 years 10 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...