Sciweavers

1591 search results - page 90 / 319
» Hybrid decision tree
Sort
View
ICIP
2007
IEEE
14 years 1 months ago
H.263 to H.264 Transconding using Data Mining
1 In this paper, we propose the use of data mining algorithms to create a macroblock partition mode decision algorithm for inter-frame prediction, to be used as part of a high-effi...
Gerardo Fernández-Escribano, Jens Bialkowsk...
CORR
2007
Springer
78views Education» more  CORR 2007»
13 years 9 months ago
Hybrid Branching-Time Logics
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
Volker Weber
AUIC
2006
IEEE
14 years 3 months ago
Visualising phylogenetic trees
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
Wan Nazmee Wan Zainon, Paul R. Calder
BIRTHDAY
2008
Springer
13 years 11 months ago
AND/OR Multi-valued Decision Diagrams for Constraint Networks
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
Robert Mateescu, Rina Dechter
LOGCOM
2007
97views more  LOGCOM 2007»
13 years 9 months ago
Termination for Hybrid Tableaus
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
Thomas Bolander, Patrick Blackburn