3207 search results - page 305 / 642 » A Semantics for HTN Methods |
197
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...
118
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
142
click to vote
ECIR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents two sentence retrieval methods. We adopt the task definition done in the TREC Novelty Track: sentence retrieval consists in the extraction of the relevant sente...
111
click to vote
ACL
1998
15 years 6 months ago
1998
This paper proposes an input-splitting method for translating spoken-language which includes many long or ill-formed expressions. The proposed method splits input into well-balanc...
132
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...