4126 search results - page 540 / 826 » Relationships with other Formalisms |
163
click to vote
RIAO
2004
15 years 8 months ago
2004
Collecting all the papers in a research field is a first step towards an exhaustive survey. A number of research paper databases are available for searching papers. However, searc...
149
click to vote
IJCAI
2003
15 years 8 months ago
2003
Minesweeper is a one-person game which looks deceptively easy to play, but where average human performance is far from optimal. Playing the game requires logical, arithmetic and p...
174
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper describes a jam session system that enables a human player to interplay with virtual players which can imitate the player personality models of various human players. P...
145
click to vote
USENIX
2001
15 years 8 months ago
2001
We desired a platform for researching advanced window layout paradigms including the use of constraints. Typical window management systems are written entirely in C or C++, compli...
163
click to vote
IM
2003
15 years 8 months ago
2003
Abstract: Firewalls are core elements in network security. However, managing firewall rules, especially for enterprize networks, has become complex and error-prone. Firewall filt...