570 search results - page 91 / 114 » Evaluating Usability Evaluation Methods: Criteria, Method an... |
ASE
2008
14 years 9 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
PRL
2006
14 years 9 months ago
2006
In this paper a heuristic segmentation algorithm is presented based on the oversegmentation of an image. The method uses a set of different segmentations of the image produced pre...
91
Voted
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
92
Voted
VLDB
2010
ACM
14 years 7 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
FCCM
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...