3765 search results - page 462 / 753 » Qualitative Action Systems |
190
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
201
Voted
ICDCSW
2005
IEEE
16 years 12 days ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
191
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
158
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...
176
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...