22114 search results - page 4041 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
197
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recent technological advances in mass spectrometry pose challenges in computational mathematics and statistics to process the mass spectral data into predictive models...
203
click to vote
JIRS
2000
15 years 6 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
168
click to vote
SPEECH
2010
15 years 5 months ago
2010
We have applied two state-of-the-art speech synthesis techniques (unit selection and HMM-based synthesis) to the synthesis of emotional speech. A series of carefully designed perc...
259
click to vote
TAL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Geographic Information Retrieval (GIR) is a specialized Information Retrieval (IR) branch that deals with information related to geographical locations. Traditional IR en...
230
Voted
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...