2137 search results - page 211 / 428 » Proving Abstract Non-interference |
111
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
130
Voted
ICB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper, we target at face gender classification on consumer images in a multiethnic environment. The consumer images are much more challenging, since the faces cap...
122
Voted
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
132
Voted
CAIP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
109
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...