6751 search results - page 347 / 1351 » Engineering Quality Requirements Using Quality Models |
183
click to vote
IVC
2010
15 years 5 months ago
2010
Active Appearance Model (AAM) represents the shape and appearance of an object via two low-dimensional subspaces, one for shape and one for appearance. AAM for facial images is cu...
207
click to vote
MDM
2007
Springer
16 years 25 days ago
2007
Springer
— In mobile ad-hoc peer-to-peer (M-P2P) networks, economic models become a necessity for enticing non-cooperative mobile peers to provide service. M-P2P users may issue queries w...
154
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
186
click to vote
B
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
164
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...