5550 search results - page 390 / 1110 » Different Approaches to Proof Systems |
168
click to vote
VLSI
2007
Springer
16 years 29 days ago
2007
Springer
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
163
click to vote
ITS
2004
Springer
16 years 7 days ago
2004
Springer
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
178
Voted
WSC
2007
15 years 9 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
154
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The goal of breast cancer screening programs is to detect cancers at an early (preclinical) stage, by using periodic mammographic examinations in asymptomatic women. In evaluating ...
205
click to vote
SIGSAND
2008
15 years 8 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...