Sciweavers

3073 search results - page 303 / 615
» Real World Verification
Sort
View
FLAIRS
2001
15 years 8 months ago
A Computational Model for Portfolios of Cooperative Heterogeneous Algorithms for Discrete Optimization
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
Eugene Santos Jr.
LWA
2004
15 years 8 months ago
Towards Knowledge-Intensive Subgroup Discovery
Subgroup discovery can be applied for exploration or descriptive induction in order to discover "interesting" subgroups of the general population, given a certain proper...
Martin Atzmüller, Frank Puppe, Hans-Peter Bus...
MCU
2004
129views Hardware» more  MCU 2004»
15 years 8 months ago
Solving 3CNF-SAT and HPP in Linear Time Using WWW
We propose linear time solutions to two much celebrated NP-complete problems, namely the 3CNF-SAT and the directed Hamiltonian Path Problem (HPP), based on AHNEPs having all resour...
Florin Manea, Carlos Martín-Vide, Victor Mi...
148
Voted
ESANN
2003
15 years 8 months ago
Semi-automatic acquisition and labelling of image data using SOMs
Abstract. Application of neural networks for real world object recognition suffers from the need to acquire large quantities of labelled image data. We propose a solution that acq...
Gunther Heidemann, Axel Saalbach, Helge Ritter
NIPS
2001
15 years 8 months ago
Optimising Synchronisation Times for Mobile Devices
With the increasing number of users of mobile computing devices (e.g. personal digital assistants) and the advent of third generation mobile phones, wireless communications are be...
Neil D. Lawrence, Antony I. T. Rowstron, Christoph...