8828 search results - page 1494 / 1766 » Formal methods in practice |
196
click to vote
SEKE
2004
Springer
16 years 2 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...
172
click to vote
ECCV
2010
Springer
16 years 2 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...
181
click to vote
ECCV
2010
Springer
16 years 2 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...
166
click to vote
WISA
2004
Springer
16 years 2 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...
147
click to vote
AGILEDC
2003
IEEE
16 years 1 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...