3190 search results - page 89 / 638 » cans 2011 |
177
Voted
IWANN
2011
Springer
14 years 3 months ago
2011
Springer
In recent years, the increasing interest in fuzzy rough set theory has allowed the definition of novel accurate methods for feature selection. Although their stand-alone applicati...
109
click to vote
AAAI
2011
14 years 19 days ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
105
click to vote
AIME
2011
Springer
14 years 19 days ago
2011
Springer
Helping someone who is depressed can be very important to the depressed person. When someone is experiencing depression, he or she frequently feels all alone. A number of supportiv...
113
Voted
APLAS
2011
ACM
14 years 19 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
146
Voted
CALCO
2011
Springer
14 years 18 days ago
2011
Springer
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...