7628 search results - page 1113 / 1526 » Spatial P systems |
211
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
176
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
133
click to vote
IVA
2007
Springer
16 years 28 days ago
2007
Springer
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
171
click to vote
IUI
2006
ACM
16 years 22 days ago
2006
ACM
There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an over...
171
click to vote
SIGSOFT
2006
ACM
16 years 22 days ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...