2216 search results - page 59 / 444 » Hedging Structured Concepts |
117
click to vote
CPE
1997
Springer
15 years 8 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
103
click to vote
HCI
2007
15 years 6 months ago
2007
Eastern and Western cultures differ quite systematically in how they group objects, functions and concepts into categories [1,2,3]. This has implications for how navigation feature...
141
click to vote
NIPS
2001
15 years 6 months ago
2001
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
129
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
146
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...