8828 search results - page 1168 / 1766 » Formal methods in practice |
144
click to vote
CDC
2009
IEEE
16 years 4 days ago
2009
IEEE
— Recent results on the control of linear systems subject to time-domain constraints could only handle the case of closed-loop poles that are situated on the real axis. As most c...
198
click to vote
ICANN
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Many applications of machine learning involve sparse highdimensional data, where the number of input features is (much) larger than the number of data samples, d n. Predi...
170
click to vote
PROFES
2009
Springer
15 years 12 months ago
2009
Springer
Business value is a key concept in agile software development approaches. This paper presents results of a systematic review of literature on how business value is created by agile...
221
click to vote
WISA
2009
Springer
15 years 12 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
183
Voted
CP
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...