7961 search results - page 529 / 1593 » Input-Output Model Programs |
187
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
183
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
162
click to vote
ICCS
2005
Springer
16 years 17 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
207
click to vote
UM
2005
Springer
16 years 16 days ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
155
click to vote
UM
2005
Springer
16 years 16 days ago
2005
Springer
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...