2905 search results - page 365 / 581 » Formal Memetic Algorithms |
127
Voted
COLING
1996
15 years 5 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
171
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
180
click to vote
CSREASAM
2009
15 years 5 months ago
2009
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Although RBAC provides flexible mechanisms to control the access to information, it do...
146
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
158
click to vote
DAM
2007
15 years 4 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...