7623 search results - page 379 / 1525 » Constructive Volume Modeling |
173
click to vote
AML
2002
15 years 6 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
174
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
177
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
159
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Molecular typing methods are commonly used to study genetic relationships among bacterial isolates. Many of these methods have become standardized and produce portable...
179
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose an environment population projection (EPP) approach for rapid acoustic model adaptation to reduce environment mismatches with limited amounts of adaptation data. This a...