3001 search results - page 341 / 601 » Recursive type generativity |
155
click to vote
VL
2006
IEEE
16 years 17 days ago
2006
IEEE
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...
169
click to vote
ADG
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
156
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
168
click to vote
ITICSE
2006
ACM
16 years 16 days ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
178
click to vote
ACSC
2005
IEEE
16 years 6 days ago
2005
IEEE
Cloth animation is a very expensive process in terms of computational cost, due to the flexible nature of cloth objects. Since wrinkles and smooth areas co-exist commonly in cloth...