Sciweavers

2123 search results - page 229 / 425
» Composition of Cyber-Physical Systems
Sort
View
MM
2010
ACM
174views Multimedia» more  MM 2010»
15 years 6 months ago
Personalized photograph ranking and selection system
In this paper, we propose a novel personalized ranking system for amateur photographs. Although some of the features used in our system are similar to previous work, new features,...
Che-Hua Yeh, Yuan-Chen Ho, Brian A. Barsky, Ming O...
FMSD
2006
183views more  FMSD 2006»
15 years 6 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
JLP
2008
129views more  JLP 2008»
15 years 6 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
IJRR
2002
96views more  IJRR 2002»
15 years 6 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
CDVE
2007
Springer
156views Visualization» more  CDVE 2007»
16 years 23 days ago
Semantic Web Services Discovery System with QoS for Enhanced Web Services Quality
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
Okkyung Choi, Heejai Choi, Zoonky Lee, Sangyong Ha...