527 search results - page 94 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
102
click to vote
ICAT
2003
IEEE
15 years 2 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
CMSB
2010
Springer
14 years 4 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
ICDCS
2011
IEEE
13 years 9 months ago
2011
IEEE
—Massively parallel scientific applications, running on extreme-scale supercomputers, produce hundreds of terabytes of data per run, driving the need for storage solutions to im...
HIPEAC
2010
Springer
15 years 6 months ago
2010
Springer
Whereas efficient barrier implementations were once a concern only in high-performance computing, recent trends in core integration make the topic relevant even for general-purpos...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...