4520 search results - page 207 / 904 » Algebraic Techniques for Timed Systems |
343
click to vote
DATE
2011
IEEE
14 years 11 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
211
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a novel generalised Multi-Carrier Direct Sequence Code Division Multiple Access (MC DS-CDMA) system invoking smart antennas for improving the achievable per...
188
click to vote
FOCS
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
194
click to vote
CIBCB
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
175
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Streaming a lecture video via the Internet is important for Elearning. We have developed a system that generates a lecture video using virtual camerawork based on shooting techniq...