7961 search results - page 145 / 1593 » Input-Output Model Programs |
135
click to vote
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
139
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
148
click to vote
DALT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
100
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
117
click to vote
AAAI
2000
15 years 4 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...