10568 search results - page 527 / 2114 » Computer Intelligence and Formalization |
148
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
147
click to vote
ACL
1990
15 years 7 months ago
1990
A compositional semantics for focusing subjuncts-words such as only, even, and also--is developed from Rooth's theory of association with focus. By adapting the theory so tha...
181
Voted
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
161
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
189
click to vote
AOR
2010
15 years 3 months ago
2010
We study the problem of computing general static-arbitrage bounds for European basket options; that is, computing bounds on the price of a basket option, given the only assumption...