20807 search results - page 374 / 4162 » How to read a paper |
184
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
193
click to vote
DKE
2010
15 years 7 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
208
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
This paper describes the design and evaluation of prosodically-sensitive concatenative units for a Korean text-to-speech (TTS) synthesis system. The diphones used are prosodically...
197
click to vote
ECOI
2010
15 years 7 months ago
2010
Advances in technology have enabled new approaches for sensing the environment and collecting data about the world. Once collected, sensor readings can be assembled into data stre...
195
click to vote
DAM
2008
15 years 7 months ago
2008
Discrete tomography deals with image reconstruction of an object with finitely many gray levels (such as two). Different approaches are used to model the raw detector reading. The...