Sciweavers

3273 search results - page 44 / 655
» types 2007
Sort
View
BC
1999
94views more  BC 1999»
14 years 11 months ago
Speed tuning in elementary motion detectors of the correlation type
A prominent model of visual motion detection is the so-called correlation or Reichardt detector. Whereas this model can account for many properties of motion vision, from humans to...
Johannes M. Zanker, M. V. Srinivasan, Martin Egelh...
ICCTA
2007
IEEE
14 years 12 months ago
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...
Ataollah Ebrahimzadeh, Seyed Alireza Seyedin
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 6 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IJBC
2007
86views more  IJBC 2007»
14 years 11 months ago
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
Balázs Bánhelyi, Tibor Csendes, Barn...
APLAS
2007
ACM
15 years 3 months ago
More Typed Assembly Languages for Confidentiality
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
Dachuan Yu