2302 search results - page 187 / 461 » Testing as Abstraction |
175
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
144
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Commercial games have various methods of game balancing, which modify the game’s entertainment value for players of different skill levels. This paper presents a way o...
161
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...
171
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
176
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...