Sciweavers

2088 search results - page 85 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
TASLP
2008
115views more  TASLP 2008»
14 years 11 months ago
Recognition of Dialogue Acts in Multiparty Meetings Using a Switching DBN
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 ...
Alfred Dielmann, Steve Renals
AUSAI
2006
Springer
15 years 3 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
DAC
1998
ACM
16 years 25 days ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
MIR
2003
ACM
130views Multimedia» more  MIR 2003»
15 years 5 months ago
Multimedia modeling using MPEG-7 for authoring multimedia integration
In this paper, we describe an approach to audiovisual data modeling for multimedia integration and synchronization. The approach chosen consists in using description tools from Mu...
Tran-Thuong Tien, Cécile Roisin
IAJIT
2008
118views more  IAJIT 2008»
14 years 12 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk