536 search results - page 47 / 108 » Efficient Search Using Bitboard Models |
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
Information about the opponent is essential to improve automated negotiation strategies for bilateral multiissue negotiation. In this paper we propose a negotiation strategy that e...
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
UAI
2008
13 years 9 months ago
2008
Chordal graphs can be used to encode dependency models that are representable by both directed acyclic and undirected graphs. This paper discusses a very simple and efficient algo...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
This paper uses the URL word breaking task as an example to elaborate what we identify as crucialin designingstatistical natural language processing (NLP) algorithmsfor Web scale ...
UM
2005
Springer
14 years 1 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...