Sciweavers

3256 search results - page 570 / 652
» Learning Linear Transformations
Sort
View
FASE
2008
Springer
15 years 4 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
AIPRF
2008
15 years 3 months ago
Spam Sender Detection with Classification Modeling on Highly Imbalanced Mail Server Behavior Data
Unsolicited commercial or bulk emails or emails containing viruses pose a great threat to the utility of email communications. A recent solution for filtering is reputation systems...
Yuchun Tang, Sven Krasser, Dmitri Alperovitch, Pau...
ICMLA
2008
15 years 3 months ago
Microarray Classification from Several Two-Gene Expression Comparisons
We describe our contribution to the ICMLA2008 "Automated Micro-Array Classification Challenge". The design of our classifier is motivated by the special scenario encounte...
Donald Geman, Bahman Afsari, Aik Choon Tan, Daniel...
IJCAI
2007
15 years 3 months ago
Fast Image Alignment Using Anytime Algorithms
Image alignment refers to finding the best transformation from a fixed reference image to a new image of a scene. This process is often guided by similarity measures between ima...
Rupert Brooks, Tal Arbel, Doina Precup
MSV
2004
15 years 3 months ago
An Effective QBF Solver for Planning Problems
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
Charles Otwell, Anja Remshagen, Klaus Truemper