3228 search results - page 469 / 646 » Computationally Sound Proofs |
120
Voted
ICASSP
2007
IEEE
15 years 9 months ago
2007
IEEE
It is usual in practice that recorded sounds are contaminated by stationary tones coming from power wiring (50/60 Hz or 400 Hz and their harmonics), frame or line frequencies from...
142
Voted
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
Support vector clustering transforms the data into a high dimensional feature space, where a decision function is computed. In the original space, the function outlines the bounda...
113
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
— Reputation systems can be used in online markets and communities in order to stimulate quality and good behaviour as well as to sanction poor quality and bad behaviour. The bas...
129
Voted
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
123
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...