140 search results - page 21 / 28 » Regression with the optimised combination technique |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
GRAPHITE
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...
EOR
2007
13 years 7 months ago
2007
This paper focuses on the application of the analytical hierarchy process (AHP) technique in the context of sustainable development to establish and optimise health care waste man...
IR
2010
13 years 6 months ago
2010
Abstract We present a new ranking algorithm that combines the strengths of two previous methods: boosted tree classification, and LambdaRank, which has been shown to be empiricall...
KR
2000
Springer
13 years 11 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...