1302 search results - page 135 / 261 » Soundness in the Public-Key Model |
162
click to vote
ACL
2004
15 years 7 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 ...
153
click to vote
EUMAS
2006
15 years 7 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
183
click to vote
UAI
2001
15 years 7 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
156
click to vote
JIS
2007
15 years 6 months ago
2007
Digital folklore collections are valuable sources for studying cultural and oral tradition of a country. The main difficulty in managing such collections is material heterogeneity...
162
click to vote
ESE
2000
15 years 6 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...