23036 search results - page 193 / 4608 » Sketching informal presentations |
152
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is generally accepted that some of the problems and ambiguities at the low level of processing can not be resolved without taking into account contextual expectations....
176
click to vote
WECWIS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present an advanced multimedia infrastructure that integrates continuous real-time media streams within the WWW. This new service architecture focuses on advanced facilities fo...
197
click to vote
CAIP
1997
Springer
15 years 10 months ago
1997
Springer
A low-cost active vision head with ten degrees of freedom is presented that has been build from off-the-shelf parts. To obtain high resolution depth information of fixated objects ...
192
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
196
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...