Sciweavers

43 search results - page 4 / 9
» Variance analyses from invariance analyses
Sort
View
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
14 years 29 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
FLAIRS
2007
13 years 9 months ago
Verbal Polysemy in Automatic Annotation
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
Maryvonne Abraham
ICPR
2000
IEEE
14 years 8 months ago
The Multimodal Signature Method: An Efficiency and Sensitivity Study
The multimodal neighbourhood signature (MNS) method has given acceptable results both for the colour-based image retrieval and the object recognition task. Local colour content is...
Dimitri Koubaroulis, Jiri Matas, Josef Kittler
ECTEL
2008
Springer
13 years 9 months ago
Issues in the Design of an Environment to Support the Learning of Mathematical Generalisation
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
Darren Pearce, Manolis Mavrikis, Eirini Geraniou, ...
MICCAI
2003
Springer
14 years 8 months ago
Vascular Atlas Formation Using a Vessel-to-Image Affine Registration Method
We have developed a method for forming vascular atlases using vascular distance maps and a novel vascular model-to-image registration method. Our atlas formation process begins wit...
Dini Chillet, Julien Jomier, Derek Cool, Stephen R...