4474 search results - page 737 / 895 » Design Tools for User Experience Design |
187
Voted
ICAPR
2005
Springer
16 years 14 days 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...
174
click to vote
ICCS
2005
Springer
16 years 14 days 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...
174
click to vote
PCI
2005
Springer
16 years 13 days 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...
171
click to vote
ISSTA
2004
ACM
16 years 11 days 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...
183
Voted
AMAI
2004
Springer
16 years 10 days 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...