14190 search results - page 2561 / 2838 » Abstractions for hybrid systems |
224
Voted
IJSWIS
2007
15 years 7 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
202
click to vote
TASLP
2008
15 years 7 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...
184
Voted
TASLP
2008
15 years 7 months ago
2008
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
204
Voted
TCAD
2008
15 years 7 months ago
2008
Abstract--A key design constraint of circuits used in handheld devices is the power consumption, mainly due to battery life limitations. Adaptive power management (APM) techniques ...
199
Voted
ASE
2005
15 years 7 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...