445 search results - page 75 / 89 » A Systematic Construction of Abstract Domains |
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
SARA
2005
Springer
14 years 1 months ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
ECAI
2004
Springer
14 years 29 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
KESAMSTA
2010
Springer
14 years 10 days ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...