Sciweavers

11017 search results - page 94 / 2204
» Closure Systems and their Structure
Sort
View
ISORC
1998
IEEE
14 years 7 days ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
MASCOTS
2001
13 years 9 months ago
PROFS-Performance-Oriented Data Reorganization for Log-Structured File System on Multi-Zone Disks
I/O is a major performance bottleneck in modern computer systems. Modern disks use the Zone-Bit-Recording (ZBR) technology to increase the capacity. A direct consequence of ZBR is...
Jun Wang, Yiming Hu
ICPR
2010
IEEE
14 years 2 months ago
Effective Structure-From-Motion for Hybrid Camera Systems
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...
Yalin Bastanlar, Alptekin Temizel, Yasemin Yardimc...
HICSS
2005
IEEE
154views Biometrics» more  HICSS 2005»
14 years 1 months ago
Market Structure and the Predictability of Electricity System Line Flows: An Experimental Analysis
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
Nodir Adilov, Thomas Light, Richard E. Schuler, Wi...
IJWBC
2006
69views more  IJWBC 2006»
13 years 8 months ago
Schema blending and stable structure in online social systems
: Autonomous online social systems can emerge from the interaction between the stable social practices of soliciting and eavesdropping when they are performed online. These practic...
Nick V. Flor, Seana Coulson, Paul P. Maglio