6020 search results - page 1114 / 1204 » A New Approach to Model Counting |
132
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
145
click to vote
CIBCB
2005
IEEE
15 years 10 months ago
2005
IEEE
- Establishing structure-function relationships on the proteomic scale is a unique challenge faced by bioinformatics and molecular biosciences. Large protein families represent nat...
145
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new approach to determine the senses of words in queries by using WordNet. In our approach, noun phrases in a query are determined first. For each word in th...
144
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
149
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...