5639 search results - page 479 / 1128 » Timed Abstract Non-interference |
132
click to vote
AIPS
1998
15 years 6 months ago
1998
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
133
Voted
COMAD
2009
15 years 6 months ago
2009
Terms in textual documents tend to occur more in contexts to which they are related. We can exploit this bias by modelling terms and their cooccurrences s, resembling the abstract...
151
click to vote
DAGSTUHL
2009
15 years 6 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
124
click to vote
CTW
2008
15 years 5 months ago
2008
Abstract Surgical trainees must maximise the educational and developmental opportunities of time spent in the operating theatre. Post-operative debriefing on performance based on o...
133
click to vote
CAL
2007
15 years 5 months ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...