1456 search results - page 146 / 292 » An Overview of the SODA System |
159
click to vote
DSTEP
2010
15 years 4 months ago
2010
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
166
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Trust estimation is an essential process in several multi-agent systems domains. Although it is generally accepted that trust is situational, the majority of the Computational Trus...
186
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
SEACAST is a peer-to-peer live streaming protocol developed at Politecnico di Torino, which aims at improving current systems in two key areas. The first is the use of fullfledged...
182
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This overview article reviews the structure of a fully statistical spoken dialogue system (SDS), using as illustration, various systems and components built at Cambridge over the ...
300
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...