3207 search results - page 496 / 642 » A Semantics for HTN Methods |
130
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
144
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
The paper addresses language model adaptation for automatic lecture transcription by fully exploiting presentation slide information used in the lecture. As the text in the presen...
125
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Many on-line photo sharing systems allow users to tag their images so as to support semantic image search. In this paper, we study how one can take advantages of the already-tagge...
156
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
143
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...