5216 search results - page 693 / 1044 » Planning as Model Checking |
163
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Traditional performance models are too brittle to be relied on for continuous capacity planning and performance debugging in many computer systems. Simply put, a brittle model is ...
168
click to vote
AP2PC
2003
Springer
15 years 12 months ago
2003
Springer
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
183
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
157
click to vote
EOR
2006
15 years 6 months ago
2006
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
207
click to vote
ISBMS
2010
Springer
16 years 1 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...