Sciweavers

1661 search results - page 104 / 333
» Real-time specification patterns
Sort
View
87
Voted
IWFM
1998
113views Formal Methods» more  IWFM 1998»
14 years 11 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
95
Voted
MICCAI
2007
Springer
15 years 11 months ago
Characterizing Spatio-temporal Patterns for Disease Discrimination in Cardiac Echo Videos
Disease-specific understanding of echocardiographic sequences requires accurate characterization of spatio-temporal motion patterns. In this paper we present a method of automatic ...
Tanveer Fathima Syeda-Mahmood, Fei Wang, David Bey...
HICSS
2007
IEEE
112views Biometrics» more  HICSS 2007»
15 years 4 months ago
Hardware-Assisted Scanning for Signature Patterns in Image File Fragments
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is an important activity in the field of digital f...
Yoginder S. Dandass
IRI
2005
IEEE
15 years 3 months ago
AnyInformationHiding: a stable design pattern
The AnyInformationHiding design pattern models the concept of information hiding and the interactions between parties associated with it in any application. Information hiding is ...
Mohamed Fayad, Haritha Kilaru
ACL
2008
14 years 11 months ago
Classification of Semantic Relationships between Nominals Using Pattern Clusters
There are many possible different semantic relationships between nominals. Classification of such relationships is an important and difficult task (for example, the well known nou...
Dmitry Davidov, Ari Rappoport