Sciweavers

3164 search results - page 511 / 633
» On Granular Knowledge Structures
Sort
View
130
Voted
ECMDAFA
2009
Springer
81views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
Patrick Mäder, Orlena Gotel, Ilka Philippow
AAAI
2007
15 years 6 months ago
Stochastic Optimization for Collision Selection in High Energy Physics
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
Shimon Whiteson, Daniel Whiteson
AAAI
2008
15 years 6 months ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu
126
Voted
AIPS
2007
15 years 6 months ago
Discovering Relational Domain Features for Probabilistic Planning
In sequential decision-making problems formulated as Markov decision processes, state-value function approximation using domain features is a critical technique for scaling up the...
Jia-Hong Wu, Robert Givan
USENIX
2007
15 years 6 months ago
Energy Management for Hypervisor-Based Virtual Machines
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...
Jan Stoess, Christian Lang, Frank Bellosa