Sciweavers

18209 search results - page 259 / 3642
» Some Remarks on the Paper
Sort
View
AIIDE
2006
15 years 8 months ago
Dynamic Game Balancing: An Evaluation of User Satisfaction
User satisfaction in computer games seems to be influenced by game balance, the level of challenge faced by the user. This work presents an evaluation, performed by human players,...
Gustavo Andrade, Geber Ramalho, Alex Sandro Gomes,...
CRIWG
2006
15 years 8 months ago
Monitoring and Analyzing Group Interactions in Asynchronous Discussions with the DIAS System
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
Tharrenos Bratitsis, Angelique Dimitracopoulou
DATESO
2006
103views Database» more  DATESO 2006»
15 years 8 months ago
Using WordNet Glosses to Refine Google Queries
This paper describes one of the ways how to overcome one of the major limitations of current fulltext search engines. It deals with synonymy of the web search engine results by clu...
Jan Nemrava
FCS
2006
15 years 8 months ago
Polynomially Uncomputable Number-Theoretic Problems in Cryptography and Network Security
By far the most important automated tool for network and communications security is encryption, but encryption itself needs security. As we know, many cryptosystems and cryptograp...
Song Y. Yan, Glyn James, Gongyi Wu
DAGSTUHL
2001
15 years 8 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino