Result 1 to 20 of 54 total
Fitness function: turning the loop inside out (English)
Creativity & Cognition, 425-426 (2011).
1
An artistic dialogue with the artificial (English)
Creativity & Cognition, 31-40 (2011).
2
Cognitive and behavioral model ensembles for autonomous virtual characters. (English)
Comput. Intell. 26, No. 2, 142-159 (2010).
3
Improving liquid state machines through iterative refinement of the reservoir. (English)
Neurocomputing 73, No. 16-18, 2893-2904 (2010).
4
Intersection type systems and explicit substitutions calculi. (English)
Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 232-246 (2010).
5
Principal typings in a restricted intersection type system for beta normal forms with de bruijn indices. (English)
Comput. Res. Repos. 2010, Article No. 1001.4438 (2010).
6
Cognitive and behavioral model ensembles for autonomous virtual characters (English)
Computational Intelligence 26, No. 2, 142-159 (2010).
7
Intersection type systems and explicit substitutions calculi (English)
WoLLIC, 232-246 (2010).
8
PIT-processm: A software process improvement meta-model (English)
QUATIC, 453-458 (2010).
9
Intersection type system with de Bruijn indices. (English)
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 ‒ 30th Anniversary of the Centre for Logic, Epistemology and the History of Science", “XV EBL ‒ 15th Brazilian Logic Conference" and “XIV SLALM ‒ 14th Latin-American Symposium on Mathematical Logic", Paraty, Brazil, May 11‒17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 557-576 (2009).
10
Explicit substitutions calculi with one step eta-reduction decided explicitly. (English)
Log. J. IGPL 17, No. 6, 697-718 (2009).
11
Search techniques for Fourier-based learning (English)
IJCAI, 1040-1045 (2009).
12
Real-time automatic price prediction for ebay online trading (English)
IAAI (2009).
13
Super-resolution via recapture and Bayesian effect modeling (English)
CVPR, 2388-2395 (2009).
14
Improving the separability of a reservoir facilitates learning transfer (English)
IJCNN, 2288-2293 (2009).
15
Music recommendation and query-by-content using self-organizing maps (English)
IJCNN, 705-710 (2009).
16
A sub-symbolic model of the cognitive processes of re-representation and insight (English)
Creativity & Cognition, 409-410 (2009).
17
Principal typings for explicit substitutions calculi. (English)
Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15‒20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 567-578 (2008).
18
Demonstration-based behavior programming for embodied virtual agents (English)
Computational Intelligence 24, No. 4, 235-256 (2008).
19
Propamet: A metric for process and project alignment (English)
EuroSPI, 201-212 (2008).
20
Result 1 to 20 of 54 total
Start
Contact
Print
General Help
