5550 search results - page 783 / 1110 » Different Approaches to Proof Systems |
155
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
173
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
159
click to vote
AAAI
2008
15 years 9 months ago
2008
With the aim of fluency and efficiency in human-robot teams, we have developed a cognitive architecture based on the neuro-psychological principles of anticipation and perceptual ...
221
click to vote
AMDO
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a framework for view-invariant action recognition in image sequences. Feature-based human detection becomes extremely challenging when the agent is being observ...
252
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...