793 search results - page 37 / 159 » Input Modeling Tools for Complex Problems |
165
click to vote
FASE
2009
Springer
15 years 9 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....
155
click to vote
BIRTHDAY
2003
Springer
15 years 11 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. ...
162
click to vote
IUI
2009
ACM
16 years 2 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...
137
click to vote
CIT
2006
Springer
15 years 9 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...
149
click to vote
PICS
2000
15 years 7 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 ...