2086 search results - page 106 / 418 » Mathematical Theory Exploration |
133
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Simulations often generate large amounts of data that require use of SciVis techniques for effective exploration of simulation results. In some cases, like 1D theory of fluid dyn...
155
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...
123
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
131
Voted
BCSHCI
2007
15 years 5 months ago
2007
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
134
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...