Sciweavers

5831 search results - page 410 / 1167
» Distributed Dynamic Backtracking
Sort
View
ATAL
2005
Springer
15 years 10 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
WIDM
2004
ACM
15 years 10 months ago
Specialisation dynamics in federated web search
Organising large-scale Web information retrieval systems into hierarchies of topic-specific search resources can improve both the quality of results and the efficient use of com...
Rinat Khoussainov, Nicholas Kushmerick
IDEAL
2004
Springer
15 years 10 months ago
Stock Trading by Modelling Price Trend with Dynamic Bayesian Networks
We study a stock trading method based on dynamic bayesian networks to model the dynamics of the trend of stock prices. We design a three level hierarchical hidden Markov model (HHM...
Jangmin O, Jae Won Lee, Sung-Bae Park, Byoung-Tak ...
CGO
2003
IEEE
15 years 9 months ago
Improving Quasi-Dynamic Schedules through Region Slip
Modern processors perform dynamic scheduling to achieve better utilization of execution resources. A schedule created at run-time is often better than one created at compile-time ...
Francesco Spadini, Brian Fahs, Sanjay J. Patel, St...
141
Voted
CGO
2003
IEEE
15 years 9 months ago
Dynamic Trace Selection Using Performance Monitoring Hardware Sampling
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
Howard Chen, Wei-Chung Hsu, Dong-yuan Chen