793 search results - page 37 / 159 » Input Modeling Tools for Complex Problems |
108
Voted
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
101
click to vote
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...
86
Voted
CIT
2006
Springer
15 years 4 months ago
2006
Springer
CA are useful tools in modeling and simulation. However, the more complex a CA is, the longer it takes to run in typical environments. A dedicated CA machine solves this problem by...
101
Voted
PICS
2000
15 years 1 months ago
2000
Color appearance models provide a powerful tool for achieving a viewing condition independent color representation. However, current color appearance models such as CIECAM97s 1,2 ...