1677 search results - page 146 / 336 » On the Completeness of Quantum Computation Models |
190
click to vote
IJAIT
2000
15 years 6 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
148
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
171
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
We introduce perturbation kernels, a new class of similarity measure for information retrieval that casts word similarity in terms of multi-task learning. Perturbation kernels mode...
196
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
157
click to vote
ISCA
1992
IEEE
15 years 10 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...