57 search results - page 10 / 12 » Mizar's Soft Type System |
88
Voted
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Voltage scaling is one of the most effective mechanisms to reduce microprocessor power consumption. However, the increased severity of manufacturing-induced parameter variations a...
67
Voted
AIPS
2004
14 years 11 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
APCCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—The quality of transmission is very important in digital communication. However, in non-deterministic environment or different transmission message signal, bit error rate of PCM...
80
Voted
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We performed experiments to investigate how humans acquire an internal representation of virtual objects through the execution of reaching movements across the object surface. Sub...