478 search results - page 9 / 96 » Knowledge modeling directed by situation-specific models |
SPIN
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we consider the low-complexity detection in hybrid direct-sequence time-hopping ultrawide bandwidth (DS-TH UWB) systems. A reduced-rank adaptive LBER detector is ...
IV
2008
IEEE
15 years 4 months ago
2008
IEEE
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
IROS
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...
ICMI
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...