6978 search results - page 1016 / 1396 » On Proofs in System P |
176
click to vote
KBSE
2007
IEEE
16 years 2 months ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...
202
click to vote
SASO
2007
IEEE
16 years 2 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...
150
click to vote
IVA
2007
Springer
16 years 1 months 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
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
By considering the spatial character of sensor-based interactive systems, this paper investigates how discussions of seams and seamlessness in ubiquitous computing neglect the com...
201
click to vote
IUI
2006
ACM
16 years 1 months 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...