5216 search results - page 609 / 1044 » Planning as Model Checking |
164
click to vote
ECIS
2004
15 years 8 months ago
2004
The need for an integrated enterprise-wide set of management information pronounced Data Warehousing the `hot topic' of the early-to-mid 1990's, however, it became unfas...
175
click to vote
CARS
2001
15 years 8 months ago
2001
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
158
click to vote
NN
2007
Springer
15 years 6 months ago
2007
Springer
In the antisaccade paradigm subjects are instructed to perform eye movements in the opposite direction from the location of a visually appearing stimulus while they are fixating ...
197
click to vote
ET
2010
15 years 4 months ago
2010
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
165
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...