15421 search results - page 108 / 3085 » Dependability |
136
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
92
Voted
TPDS
1998
15 years 2 months ago
1998
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...
133
Voted
FUIN
2010
14 years 12 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
148
click to vote
COLING
2010
14 years 9 months ago
2010
This paper describes a search procedure to discover optimal feature sets for dependency parsers. The search applies to the shift
158
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
An improved approach for the estimation of the frequency dependent reverberation time (RT) by means of allpass transformed filterbanks is presented. It is shown that by means of ...