Sciweavers

10622 search results - page 1846 / 2125
» Python Programming Language
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Theoretical and experimental results on the goal-plan tree problem
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 8 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
ACII
2005
Springer
15 years 8 months ago
A Composite Method to Extract Eye Contour
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
Ke Sun, Hong Wang 0004
ADAEUROPE
2007
Springer
15 years 8 months ago
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
Diego Alonso, Cristina Vicente-Chicote, Pedro S&aa...
ICAISC
2010
Springer
15 years 8 months ago
CI in General Game Playing - To Date Achievements and Perspectives
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
Karol Waledzik, Jacek Mandziuk
« Prev « First page 1846 / 2125 Last » Next »