2153 search results - page 294 / 431 » From Requirements Models to Formal Specifications in B |
184
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
Accurate localization of mobile objects is a major research problem in sensor networks and an important data mining application. Specifically, the localization problem is to deter...
170
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
204
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
133
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Storage plays a pivotal role in the performance of many applications. Optimizing disk architectures is a design-time as well as a run-time issue and requires balancing between per...
133
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...