Sciweavers

7892 search results - page 353 / 1579
» Programming with Models
Sort
View
KDD
2003
ACM
162views Data Mining» more  KDD 2003»
16 years 2 months ago
Improving spatial locality of programs via data mining
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
Karlton Sequeira, Mohammed Javeed Zaki, Boleslaw K...
PRICAI
2004
Springer
15 years 7 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
Wayne Wobcke
LCPC
2004
Springer
15 years 8 months ago
Phase-Based Miss Rate Prediction Across Program Inputs
Previous work shows the possibility of predicting the cache miss rate (CMR) for all inputs of a program. However, most optimization techniques need to know more than the miss rate ...
Xipeng Shen, Yutao Zhong, Chen Ding
109
Voted
ECOOP
2008
Springer
15 years 4 months ago
Modeling Context-Dependent Aspect Interference Using Default Logics
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
Frans Sanen, Eddy Truyen, Wouter Joosen
153
Voted
CLIMA
2004
15 years 3 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua