Sciweavers

1000 search results - page 68 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
DIS
2007
Springer
14 years 2 months ago
Fast NML Computation for Naive Bayes Models
Abstract. The Minimum Description Length (MDL) is an informationtheoretic principle that can be used for model selection and other statistical inference tasks. One way to implement...
Tommi Mononen, Petri Myllymäki
ICPR
2010
IEEE
13 years 7 months ago
2LDA: Segmentation for Recognition
Abstract—Following the trend of “segmentation for recognition”, we present 2LDA, a novel generative model to automatically segment an image in 2 segments, background and fore...
Alessandro Perina, Marco Cristani, Vittorio Murino
DEXA
2004
Springer
70views Database» more  DEXA 2004»
14 years 2 months ago
How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
Mara Abel, Laura S. Mastella, Luís A. Lima ...
OSDI
2002
ACM
14 years 9 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 6 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo