4762 search results - page 665 / 953 » About the use of protein models |
102
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
135
Voted
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
154
Voted
INCDM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Leveraging the power of increasing amounts of data to analyze customer base for attracting and retaining the most valuable customers is a major problem facing companies i...
AAAI
2010
15 years 3 months ago
2010
Using a model of agent behavior based around envy-reducing strategies, we describe an iterated combinatorial auction in which the allocation and prices converge to a solution in t...
95
Voted
COLING
2008
15 years 3 months ago
2008
Much previous work has investigated weak supervision with HMMs and tag dictionaries for part-of-speech tagging, but there have been no similar investigations for the harder proble...