12774 search results - page 190 / 2555 » A Framework for Proof Systems |
166
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
167
click to vote
ESAW
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
129
click to vote
INFOVIS
1998
IEEE
15 years 9 months ago
1998
IEEE
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...
154
Voted
WISES
2004
15 years 6 months ago
2004
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...
137
click to vote
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...