357 search results - page 57 / 72 » Is Computational Complexity a Barrier to Manipulation |
250
click to vote
ICTL
1994
15 years 9 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
226
click to vote
VISUALIZATION
1995
IEEE
15 years 9 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
151
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
140
click to vote
HVEI
2010
15 years 7 months ago
2010
When evaluating the surface appearance of real objects, observers engage in complex behaviors involving active manipulation and dynamic viewpoint changes that allow them to observ...
166
click to vote
ECIR
2008
Springer
15 years 7 months ago
2008
Springer
As the world has shifted towards manipulation of information and its technology, we have been increasingly overwhelmed by the amount of available multimedia data while having highe...