3207 search results - page 335 / 642 » A Semantics for HTN Methods |
160
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
125
Voted
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct acces...
137
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
148
click to vote
BIOID
2008
15 years 7 months ago
2008
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...
168
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Generating alternative queries, also known as query suggestion, has long been proved useful to help a user explore and express his information need. In many scenarios, such sugges...