677 search results - page 40 / 136 » Dependent Types from Counterexamples |
110
Voted
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
245
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
138
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We had introduced the massively parallel global cellular automata (GCA) model. Parallel algorithms derived from applications can be mapped straight forward onto this model. In thi...
104
Voted
ICEIS
2007
IEEE
15 years 5 months ago
2007
IEEE
The increasing dependence upon Information systems in the last few decades by businesses has resulted in concerns regarding auditing. IS auditing has changed from auditing “arou...
133
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
A computationally efficient algorithm is proposed to remove noise impulses from speech and audio signals while retaining its features and tonal quality. The proposed method is bas...