1914 search results - page 138 / 383 » Verification by Abstract Interpretation |
59
Voted
JSYML
2006
15 years 21 days ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
73
Voted
BC
2000
15 years 17 days ago
2000
Abstract. Stimulus representation is a functional interpretation of early sensory cortices. Early sensory cortices are subject to stimulus-induced modi
105
click to vote
ICB
2009
Springer
15 years 7 months ago
2009
Springer
ic Presentations - Abstracts list Monday, August 31st Session 1 – Chairman: Jean-Marc Odobez Title Quality Measures and Stacking Classifiers in Multimodal Biometric Recognition S...
115
click to vote
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. With computer networks spreading into a variety of new environments, the need to authenticate and secure communication grows. Many of these new environments have particul...
117
click to vote
ENTCS
2002
15 years 16 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...