Sciweavers

5699 search results - page 303 / 1140
» Alternating model trees
Sort
View
IJCV
2010
167views more  IJCV 2010»
15 years 2 months ago
A Solution of the Dichromatic Model for Multispectral Photometric Invariance
In this paper, we address the problem of photometric invariance in multispectral imaging making use of an optimisation approach based upon the dichromatic model. In this manner, w...
Cong Phuoc Huynh, Antonio Robles-Kelly
234
Voted
ICIP
2009
IEEE
16 years 6 months ago
A Markov Random Field Model for Extracting Near-Circular Shapes
We propose a binary Markov Random Field (MRF) model that assigns high probability to regions in the image domain consisting of an unknown number of circles of a given radius. We...
Tamas Blaskovics, Zoltan Kato, and Ian Jermyn
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
16 years 1 months ago
Parallel Model Checking and the FMICS-jETI Platform
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
Jiri Barnat, Lubos Brim, Martin Leucker
EDUTAINMENT
2006
Springer
15 years 11 months ago
Dynamic User Modeling for Sketch-Based User Interface
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
Zhengxing Sun, Bin Li, Qiang Wang, Guihuan Feng
271
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...