4451 search results - page 267 / 891 » Continuous model synthesis |
174
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
163
click to vote
ACL
2004
15 years 8 months ago
2004
The detection of prosodic characteristics is an important aspect of both speech synthesis and speech recognition. Correct placement of pitch accents aids in more natural sounding ...
199
click to vote
WOSP
2005
ACM
16 years 5 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
172
click to vote
CII
2008
15 years 6 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
215
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
We describe a exible model for representing images of objects of a certain class, known a priori, such as faces, and introduce a new algorithm for matching it to a novel image and...