8828 search results - page 1494 / 1766 » Formal methods in practice |
221
click to vote
SEKE
2004
Springer
16 years 22 days ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
201
click to vote
ECCV
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Visual vocabulary construction is an integral part of the popular Bag-of-Features (BOF) model. When visual data scale up (in terms of the dimensionality of features or/an...
209
click to vote
ECCV
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Many computer vision problems such as object segmentation or reconstruction can be formulated in terms of labeling a set of pixels or voxels. In certain scenarios, we may...
183
click to vote
WISA
2004
Springer
16 years 22 days ago
2004
Springer
The most common way to implement full-disk encryption (as opposed to encrypted file systems) in the GNU/Linux operating system is using the encrypted loop device, known as CryptoL...
161
click to vote
AGILEDC
2003
IEEE
16 years 21 days ago
2003
IEEE
Agile development methodologies promise higher customer satisfaction, lower defect rates, faster development times and a solution to rapidly changing requirements. Plan-driven app...