3008 search results - page 344 / 602 » Information and Control in Gray-Box Systems |
157
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Although flattening a cortical surface necessarily introduces metric distortion due to the non-constant Gaussian curvature of the surface, the Riemann Mapping Theorem states that ...
162
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
186
click to vote
VRCAI
2009
ACM
16 years 1 months ago
2009
ACM
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
126
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
201
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...