6168 search results - page 977 / 1234 » Research methods for HCI |
173
click to vote
PKC
2010
Springer
15 years 10 months ago
2010
Springer
Research on efficient pairing implementation has focussed on reducing the loop length and on using high-degree twists. Existence of twists of degree larger than 2 is a very restric...
188
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
176
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
174
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...
176
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...