Sciweavers

4209 search results - page 194 / 842
» Abstract Dialectical Frameworks
Sort
View
ASPDAC
2006
ACM
128views Hardware» more  ASPDAC 2006»
15 years 10 months ago
FastPlace 2.0: an efficient analytical placer for mixed-mode designs
Abstract-- In this paper, we present FastPlace 2.0
Natarajan Viswanathan, Min Pan, Chris C. N. Chu
TFS
2010
117views Education» more  TFS 2010»
15 years 1 months ago
Variational Bayes for a Mixed Stochastic/Deterministic Fuzzy Filter
Abstract--This study, under the variational Bayes (VB) framework, infers the parameters of a Takagi
Mohit Kumar, Norbert Stoll, Regina Stoll
CADE
2003
Springer
16 years 7 months ago
Optimizing Higher-Order Pattern Unification
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
Brigitte Pientka, Frank Pfenning
ATAL
2005
Springer
16 years 17 days ago
Engineering agent interactions from ACL-based reusable connectors
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
Juan Manuel Serrano, Sascha Ossowski, Sergio Sauga...
CSMR
2009
IEEE
15 years 11 months ago
A Tool for Enterprise Architecture Analysis of Maintainability
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
Mathias Ekstedt, Ulrik Franke, Pontus Johnson, Rob...