2661 search results - page 309 / 533 » Quantum Complexity Classes |
119
click to vote
IUI
1999
ACM
15 years 8 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
150
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
127
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper addresses an optimal technique for throughput optimization of general non-linear data flow computations using a set of transformations. Throughput is widely recognized ...
123
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a new algorithm called List-based Load Balancing (LLB) for compile-time task scheduling on distributed-memory machines. LLB is intended as a cluster-mapping an...
116
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...