Sciweavers

6087 search results - page 857 / 1218
» Knowledge discovery methods
Sort
View
KI
2006
Springer
15 years 6 months ago
Active Monte Carlo Recognition
In this paper we introduce Active Monte Carlo Recognition (AMCR), a new approach for object recognition. The method is based on seeding and propagating "relational" part...
Felix von Hundelshausen, Manuela M. Veloso
EXPERT
2007
76views more  EXPERT 2007»
15 years 6 months ago
Online Sequential Prediction via Incremental Parsing: The Active LeZi Algorithm
Prediction is an important component in a variety of domains. Intelligent systems that can predict future events are better enabled to make more informed, and therefore more relia...
Karthik Gopalratnam, Diane J. Cook
FUIN
2007
99views more  FUIN 2007»
15 years 6 months ago
Verifying Security Protocols Modelled by Networks of Automata
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
Miroslaw Kurkowski, Wojciech Penczek
PAMI
2008
188views more  PAMI 2008»
15 years 6 months ago
Segmentation and Tracking of Multiple Humans in Crowded Environments
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
Tao Zhao, Ramakant Nevatia, Bo Wu
143
Voted
HEURISTICS
2007
76views more  HEURISTICS 2007»
15 years 6 months ago
Metaheuristics can solve sudoku puzzles
: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...
Rhyd Lewis