4117 search results - page 323 / 824 » On the Satisfiability of Complex Constraints |
196
click to vote
ECBS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
179
click to vote
ETFA
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
179
click to vote
ICAT
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...
177
click to vote
SIPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— In this paper, we propose partly parallel architectures based on optimal overlapped sum-product (OSP) decoding. To ensure high throughput and hardware utilization effi...
162
click to vote
ACSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customers...