4474 search results - page 737 / 895 » Design Tools for User Experience Design |
171
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
161
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
157
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
158
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
176
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...