3207 search results - page 50 / 642 » A Semantics for HTN Methods |
AIME
2011
Springer
12 years 10 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
IJIS
2011
13 years 1 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
We propose a region-based method to extract semantic foreground regions from color video sequences with static backgrounds. First, we introduce a new distance measure for backgrou...