3229 search results - page 318 / 646 » Mixing |
154
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
197
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
158
Voted
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
177
click to vote
HPCA
2005
IEEE
16 years 10 days ago
2005
IEEE
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
151
Voted
ICCV
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we present an approach for separating two transparent layers of complex non-rigid scene dynamics. The dynamics in one of the layers is assumed to be repetitive, whil...