1329 search results - page 236 / 266 » Constraint-based model synthesis |
117
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
113
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
155
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Phoneme segmentation is a fundamental problem in many speech recognition and synthesis studies. Unsupervised phoneme segmentation assumes no knowledge on linguistic contents and a...
122
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a framework for estimation and analysis of temporal facial expression patterns of a speaker. The proposed system aims to learn personalized elementary dynamic facial ex...