2259 search results - page 170 / 452 » Separation and information hiding |
171
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
139
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
116
click to vote
CLEF
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we will describe the Berkeley approaches to the GeoCLEF tasks for CLEF 2006. This year we used two separate systems for different tasks. Although of the systems both...
177
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
156
click to vote
CIIT
2004
15 years 7 months ago
2004
This article concentrates on a quality assessment for H.264 coded low-rate and low-resolution video sequences which are in particular of interest for mobile communication. The cho...