Sciweavers

2364 search results - page 322 / 473
» On O-Minimal Hybrid Systems
Sort
View
ESCIENCE
2007
IEEE
16 years 26 days ago
Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...
Yun Yang, Ke Liu, Jinjun Chen, Joel Lignier, Hai J...
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 4 months ago
Beyond local optimality: An improved approach to hybrid model learning
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
Stephanie Gil, Brian Williams
HCI
2009
15 years 4 months ago
Robust Hybrid Tracking with Life-Size Avatar in Mixed Reality Environment
We have developed a system which enables us to track participant-observers accurately in a large area for the purpose of immersing them in a mixed reality environment. This system ...
Tran Cong Thien Qui, Shang Ping Lee, William Russe...
PLDI
2009
ACM
16 years 1 months ago
Language-based security on Android
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
Avik Chaudhuri
DATE
2009
IEEE
73views Hardware» more  DATE 2009»
16 years 1 months ago
Priority-based packet communication on a bus-shaped structure for FPGA-systems
—We present an application tailored packed-based SoC communication system with one-hop communication between all entities, priority-based arbitration, broadcast and multicast sup...
Oliver Sander, Benjamin Glas, Christoph Roth, J&uu...