1744 search results - page 94 / 349 » A Similarity-Driven Transfer System |
191
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
132
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
174
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
176
click to vote
RSP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
131
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper proposes a data encoder to reduce switched capacitance on system bus. Our method focuses on transferring raw video data (pixels) between off-chip memory and on-chip mem...