1750 search results - page 9 / 350 » E-Commerce Development Procedure |
CHI
2008
ACM
14 years 7 months ago
2008
ACM
This paper describes a project that uses real-world computer-troubleshooting scenarios to test and expand upon the latest research and technical knowledge in the area of procedura...
LPAR
2005
Springer
14 years 27 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
AIIDE
2009
13 years 8 months ago
2009
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
The TIPS procedure is an endovascular operation guided by biplane fluoroscopy. The goal is to pass a needle from the hepatic vein through the liver into the portal vein. We are dev...
ESANN
2008
13 years 8 months ago
2008
In this paper a novel procedure to select the input nodes in neural network modeling is presented and discussed. The approach is developed in a multiple testing framework and so it...