Sciweavers

6087 search results - page 659 / 1218
» Knowledge discovery methods
Sort
View
ASM
2008
ASM
15 years 9 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
GEM
2008
15 years 8 months ago
Better Huffman Coding via Genetic Algorithm
Abstract--We present an approach to compress arbitrary files using a Huffman-like prefix-free code generated through the use of a genetic algorithm, thus requiring no prior knowled...
Cody Boisclair, Markus Wagner
IJCAI
2007
15 years 8 months ago
Counting Complexity of Propositional Abduction
Abduction is an important method of non-monotonic reasoning with many applications in artificial intelligence and related topics. In this paper, we concentrate on propositional ab...
Miki Hermann, Reinhard Pichler
LREC
2008
108views Education» more  LREC 2008»
15 years 8 months ago
Exploiting Lexical Resources for Disambiguating CJK and Arabic Orthographic Variants
The orthographical complexities of Chinese, Japanese, Korean (CJK) and Arabic pose a special challenge to developers of NLP applications. These difficulties are exacerbated by the...
Jack Halpern
IPCV
2007
15 years 8 months ago
Nonconvex Regularization for Image Segmentation
Abstract - We propose a new method for image segmentation based on a variational regularization algorithm for image denoising. We modify the Rudin-Osher-Fatemi (ROF) model in [1] b...
Rick Chartrand, Valentina Staneva