Sciweavers

3174 search results - page 1 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
COMBINATORICS
1998
76views more  COMBINATORICS 1998»
13 years 10 months ago
An Exploration of the Permanent-Determinant Method
The permanent-determinant method and its generalization, the HafnianPfaffian method, are methods to enumerate perfect matchings of plane graphs that were discovered by P. W. Kaste...
Greg Kuperberg
CAV
2003
Springer
124views Hardware» more  CAV 2003»
14 years 4 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
GECCO
2005
Springer
14 years 4 months ago
Intelligent exploration method for XCS
Exploration/Exploitation equilibrium is one of the most challenging issues in reinforcement learning area as well as learning classifier systems such as XCS. In this paper1 , an i...
Ali Hamzeh, Adel Rahmani
IROS
2009
IEEE
111views Robotics» more  IROS 2009»
14 years 5 months ago
An exploration method for general robotic systems equipped with multiple sensors
Abstract— This paper presents a novel method for sensorbased exploration of unknown environments by a general robotic system equipped with multiple sensors. The method is based o...
Luigi Freda, Giuseppe Oriolo, Francesco Vecchioli
DEXAW
2007
IEEE
141views Database» more  DEXAW 2007»
14 years 5 months ago
Automatic Annotation for Korean--Approach Based on the Contextual Exploration Method
We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...
Hyunzoo Chai