5699 search results - page 215 / 1140 » Alternating model trees |
142
click to vote
JSC
2010
15 years 4 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
147
Voted
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
Evaluating web services provisioning is able to reduce redundancy in search and also generates advantages to service providers who deliver valuable services. However, there exist ...
147
click to vote
DAGM
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we propose a generative statistical approach for the three dimensional (3D) extraction of the branching structure of unfoliaged deciduous trees from urban image seque...
135
click to vote
IEEEARES
2006
IEEE
16 years 4 days ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
170
click to vote
ICML
2004
IEEE
15 years 11 months ago
2004
IEEE
We introduce a new perceptron-based discriminative learning algorithm for labeling structured data such as sequences, trees, and graphs. Since it is fully kernelized and uses poin...