6142 search results - page 566 / 1229 » The Complexity of Partition Functions |
196
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
199
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
A high-efficiency video coding method using matching pursuits, which is a waveform coding technique, has recently been proposed. In this method, the motion compensated prediction...
163
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— We introduce the concept of Ecology of Physically Embedded Intelligent Systems, or PEIS-Ecology. This is a network of heterogeneous robotic devices (PEIS) pervasively embedded ...
247
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
190
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...