Sciweavers

6434 search results - page 438 / 1287
» Model Transformations with Reference Models
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
A generalized family of parameter estimation techniques
The Extended Baum-Welch (EBW) Transformations is one of a variety of techniques to estimate parameters of Gaussian mixture models. In this paper, we provide a theoretical framewor...
Dimitri Kanevsky, Tara N. Sainath, Bhuvana Ramabha...
CCS
2003
ACM
16 years 2 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
DKE
2006
138views more  DKE 2006»
15 years 6 months ago
Using the uni-level description (ULD) to support data-model interoperability
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...
Shawn Bowers, Lois M. L. Delcambre
JSW
2008
105views more  JSW 2008»
15 years 6 months ago
Reasoning Principles for Negotiating Agent
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
Mukun Cao, Yuqiang Feng
323
Voted
AUTOMATICA
2011
15 years 1 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva