Sciweavers

10458 search results - page 1600 / 2092
» Modeling Features at Runtime
Sort
View
SAFECOMP
2000
Springer
15 years 8 months ago
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
Richard Evans, Jonathan D. Moffett
173
Voted
TLCA
1995
Springer
15 years 8 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
156
Voted
VL
1995
IEEE
158views Visual Languages» more  VL 1995»
15 years 8 months ago
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
Mark Minas, Gerhard Viehstaedt
DAS
2010
Springer
15 years 8 months ago
Toward affine recognition of handwritten mathematical characters
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...
Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt
139
Voted
ECCV
2010
Springer
15 years 8 months ago
Visual Tracking using a Pixelwise Spatiotemporal Oriented Energy Representation
Abstract. This paper presents a novel pixelwise representation for visual tracking that models both the spatial structure and dynamics of a target in a unified fashion. The represe...
« Prev « First page 1600 / 2092 Last » Next »