1549 search results - page 307 / 310 » A Formal Approach for the Development of Automated Systems |
MSR
2006
ACM
14 years 20 days ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
ATAL
2005
Springer
14 years 7 days ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
IAT
2003
IEEE
13 years 12 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
RIDE
2002
IEEE
13 years 11 months ago
2002
IEEE
An important aspect of Business to Business ECommerce is the agile Virtual Enterprise (VE). VEs are established when existing enterprises dynamically form temporary alliances, joi...
MICCAI
2000
Springer
13 years 10 months ago
2000
Springer
: We present a simple and precise robot targeting method under portable x-ray fluoroscopy based on image servoing. The method is implemented for needle alignment in percutaneous pr...