Sciweavers

6141 search results - page 245 / 1229
» Models and representation of their ownership
Sort
View
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 10 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
KES
2000
Springer
15 years 10 months ago
Extracting geometric models from medieval moulding profiles for case-based reasoning
Cross-sectional pmfiles of medieval mouldings are often considered to be a vital form of data to Art Historians. Mouldings were often used to highlight salient areas of buildings,...
Gareth Bradshaw, Carol O'Sullivan
SDL
2001
73views Hardware» more  SDL 2001»
15 years 8 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
KER
2007
90views more  KER 2007»
15 years 6 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
ICMCS
2009
IEEE
106views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Modeling and analysis of content identification
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...
Avinash L. Varna, Min Wu