1414 search results - page 92 / 283 » Combining Intruder Theories |
111
Voted
NIPS
2007
15 years 2 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...
67
Voted
ECIS
2003
15 years 2 months ago
2003
This paper pursues two objectives. First it depicts the status of research philosophies of the IOS adoption field. Second, it gives an overview of the discussions within the field...
IJON
2006
15 years 21 days ago
2006
Sensory systems often use groups of redundant neurons to represent stimulus information both during transduction and population coding of features. This redundancy makes the syste...
89
Voted
CORR
1998
Springer
15 years 12 days ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
101
Voted
TCS
2010
14 years 11 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...