15421 search results - page 108 / 3085 » Dependability |
CORR
2002
Springer
13 years 8 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 ...
TPDS
1998
13 years 8 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 ...
FUIN
2010
13 years 6 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...
COLING
2010
13 years 3 months ago
2010
This paper describes a search procedure to discover optimal feature sets for dependency parsers. The search applies to the shift
ICASSP
2011
IEEE
13 years 16 days 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 ...