1804 search results - page 108 / 361 » On set systems with a threshold property |
169
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
185
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
158
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper, several instrumental variable (IV) and instrumental variable-related methods for closed-loop system identification are considered and set in an extended IV framewor...
190
click to vote
ICICS
2003
Springer
15 years 12 months ago
2003
Springer
The advantage of ID-based system is the simplification of key distribution and certification management; a user can directly use his identity as his public key instead of an arbi...
144
click to vote
ICFEM
2007
Springer
16 years 25 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...