5699 search results - page 108 / 1140 » Alternating model trees |
125
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Buffer insertion method plays a great role in modern VLSI design. Many buffer insertion algorithms have been proposed in recent years. However, most of them used simplified delay ...
137
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
148
click to vote
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
Question answering systems rely on retrieval components to identify documents that contain an answer to a user’s question. The formulation of queries that are used for retrieving...
163
click to vote
UAI
2001
15 years 5 months ago
2001
We present a general framework for defining priors on model structure and sampling from the posterior using the Metropolis-Hastings algorithm. The key ideas are that structure pri...
130
click to vote
PKDD
2005
Springer
15 years 10 months ago
2005
Springer
Mining regression models from spatial data is a fundamental task in Spatial Data Mining. We propose a method, namely Mrs-SMOTI, that takes advantage from a tight-integration with s...