Sciweavers

2522 search results - page 51 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
SARA
2009
Springer
14 years 2 months ago
Reformulating Planning Problems by Eliminating Unpromising Actions
Despite a big progress in solving planning problems, more complex problems still remain hard and challenging for existing planners. One of the most promising research directions i...
Lukás Chrpa, Roman Barták
IJCSA
2006
138views more  IJCSA 2006»
13 years 7 months ago
An Integrated System for Cancer-Related Genes Mining from Biomedical Literatures
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...
Shih-Nung Chen, Kuo-Cheng Wen
CDC
2009
IEEE
13 years 11 months ago
Transformability from discrete-time periodic non-homogeneous systems to time-invariant ones
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...
Yoshikazu Hayakawa, Tomohiko Jimbo
AAAI
2008
13 years 10 months ago
A Fast Data Collection and Augmentation Procedure for Object Recognition
When building an application that requires object class recognition, having enough data to learn from is critical for good performance, and can easily determine the success or fai...
Benjamin Sapp, Ashutosh Saxena, Andrew Y. Ng
MICAI
2000
Springer
13 years 11 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green