5216 search results - page 849 / 1044 » Planning as Model Checking |
161
click to vote
IEEESCC
2005
IEEE
16 years 18 hour ago
2005
IEEE
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
163
click to vote
NETGAMES
2005
ACM
15 years 12 months ago
2005
ACM
The growth in computer games and wireless networks has catalyzed the production of a new generation of hand-held game consoles that support multi-player gaming over IEEE 802.11 ne...
172
click to vote
CAIP
2005
Springer
15 years 12 months ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
184
click to vote
CVBIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Markov Random Fields (MRFs) are a popular and wellmotivated model for many medical image processing tasks such as segmentation. Discriminative Random Fields (DRFs), a dis...
166
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...