Sciweavers

8828 search results - page 1494 / 1766
» Formal methods in practice
Sort
View
SEKE
2004
Springer
16 years 2 days ago
Case Study Methodology Designed Research in Software Engineering Methodology Validation
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...
Seok Won Lee, David C. Rine
ECCV
2010
Springer
16 years 2 days ago
Randomized Locality Sensitive Vocabularies for Bag-of-Features Model
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...
ECCV
2010
Springer
16 years 2 days ago
Energy Minimization Under Constraints on Label Counts
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...
WISA
2004
Springer
16 years 2 days ago
Encrypted Watermarks and Linux Laptop Security
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...
Markku-Juhani Olavi Saarinen
AGILEDC
2003
IEEE
16 years 1 days ago
Observations on Balancing Discipline and Agility
Agile development methodologies promise higher customer satisfaction, lower defect rates, faster development times and a solution to rapidly changing requirements. Plan-driven app...
Barry W. Boehm, Richard Turner
« Prev « First page 1494 / 1766 Last » Next »