Sciweavers

1532 search results - page 51 / 307
» An analysis of additivity in OLAP systems
Sort
View
ERCIM
2008
78views more  ERCIM 2008»
13 years 9 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
BIRTHDAY
2010
Springer
13 years 10 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
HCI
2009
13 years 6 months ago
AR City Representation System Based on Map Recognition Using Topological Information
This paper presents a system for overlaying 3D GIS data information such as 3D buildings onto a 2D physical urban map. We propose a map recognition framework by analysis of distrib...
Hideaki Uchiyama, Hideo Saito, Myriam Servieres, G...
CAIP
2003
Springer
103views Image Analysis» more  CAIP 2003»
14 years 2 months ago
Classifying Sketches of Animals Using an Agent-Based System
A technique for the classification and understanding of child-like sketches of animals, using a live pen-based input device is demonstrated. A method of segmenting the sketch usin...
Graham Mackenzie, Natasha Alechina
ML
2007
ACM
144views Machine Learning» more  ML 2007»
13 years 8 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt