2989 search results - page 367 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
208
Voted
IJON
2006
15 years 6 months ago
2006
This paper proposes a novel method for blindly separating unobservable independent component (IC) signals based on the use of a genetic algorithm. It is intended for its applicati...
193
click to vote
GROUP
2009
ACM
15 years 9 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...
157
click to vote
JCB
2006
15 years 6 months ago
2006
Biological signaling networks comprise the chemical processes by which cells detect and respond to changes in their environment. Such networks have been implicated in the regulati...
210
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Over the last decade several prediction methods have been developed for determining structural and functional properties of individual protein residues using sequence and...
164
Voted
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...