Sciweavers

4890 search results - page 530 / 978
» From system specifications to component behavioral models
Sort
View
216
Voted
HCI
2009
15 years 5 months ago
A Similarity Measure for Vision-Based Sign Recognition
When we encounter an English word that we do not understand, we can look it up in a dictionary. However, when an American Sign Language (ASL) user encounters an unknown sign, looki...
Haijing Wang, Alexandra Stefan, Vassilis Athitsos
ICDE
2005
IEEE
100views Database» more  ICDE 2005»
16 years 8 months ago
Configurable Security Protocols for Multi-party Data Analysis with Malicious Participants
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
Bradley Malin, Edoardo Airoldi, Samuel Edoho-Eket,...
HYBRID
1999
Springer
15 years 11 months ago
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
Pieter J. Mosterman
ER
1998
Springer
115views Database» more  ER 1998»
15 years 11 months ago
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
Martin Erwig, Markus Schneider, Ralf Hartmut G&uum...
175
Voted
ASE
2005
91views more  ASE 2005»
15 years 7 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...