4209 search results - page 194 / 842 » Abstract Dialectical Frameworks |
178
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- In this paper, we present FastPlace 2.0
156
click to vote
TFS
2010
15 years 1 months ago
2010
Abstract--This study, under the variational Bayes (VB) framework, infers the parameters of a Takagi
187
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
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...
137
click to vote
ATAL
2005
Springer
16 years 7 hour ago
2005
Springer
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...
152
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
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...