3458 search results - page 491 / 692 » Abstracting Control |
117
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Channel shortening filters have been used in acoustics to reduce reverberation, in error control decoding to reduce complexity, and in communication systems to reduce i...
167
click to vote
EUROMED
2010
15 years 3 months ago
2010
Abstract. 3D digitizing technology has a variety of applications including reverse engineering, quality control, virtual reality and digital heritage. Recently, great development i...
151
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
144
click to vote
BTW
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Integrated engineering environments, based on federated database technology, are, among others, a means to control the integrity of and dependencies between product data c...
121
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...