6167 search results - page 1031 / 1234 » Can Refinement be Automated |
80
Voted
WSC
2008
15 years 3 months ago
2008
The aim of this research is to introduce the reader to a new perspective on the framework for designing a manufacturing line project in Japanese automobile manufacturing plants. A...
103
Voted
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
118
click to vote
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
113
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
AUSAI
2008
Springer
15 years 2 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...