3521 search results - page 542 / 705 » Algorithmic Control in Concurrent Computations |
162
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Free-form deformations (FFD) constitute an important geometric shape modification method that has been extensively investigated for computer animation and geometric modelling. In t...
127
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
126
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We conducted two studies that demonstrate automatically generated interfaces can be more usable than interfaces created by human designers. The first study shows that users of aut...
92
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Scrolling is an essential part of our everyday computing experience. Contemporary scrolling techniques rely on the explicit initiation of scrolling by the user. The act of scrolli...
103
click to vote
ICDS
2009
IEEE
15 years 10 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...