2706 search results - page 204 / 542 » The case for a new business model |
138
Voted
COMBINATORICS
2007
15 years 6 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
188
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
169
click to vote
TCBB
2010
15 years 5 months ago
2010
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...
178
click to vote
IEEEICCI
2006
IEEE
16 years 19 days ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
210
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...