1368 search results - page 56 / 274 » Avoiding Simplicity Is Complex |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
WACV
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper proposes a virtual brush model based on droplet operation and its application on retrieving character outlines and character modeling in Chinese calligraphy style. In t...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
PODC
2010
ACM
14 years 1 months ago
2010
ACM
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...