913 search results - page 175 / 183 » Formal Agent Development: Framework to System |
101
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
127
click to vote
AMDO
2008
Springer
15 years 1 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...
114
click to vote
AISC
1998
Springer
15 years 3 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...