2696 search results - page 426 / 540 » Semantic Abstraction and Anaphora |
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
210
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
179
click to vote
NCA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Resource management is a key challenge that service providers must adequately face in order to ensure their profitability. This paper describes a proof-of-concept frame...
158
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract— In this paper we describe the problem of Visual Place Categorization (VPC) for mobile robotics, which involves predicting the semantic category of a place from image me...
174
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...