53390 search results - page 160 / 10678 » Computer Systems Analysis |
171
Voted
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
147
Voted
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
155
click to vote
HCI
2009
15 years 3 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
166
click to vote
ICTIR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
147
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...