2722 search results - page 399 / 545 » Automating Language Evolution |
119
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
115
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
131
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
134
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
140
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...