1837 search results - page 245 / 368 » Abstraction and the C Machine Model |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
BC
2004
13 years 9 months ago
2004
Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...
TCC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
AUSAI
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...