Sciweavers

1626 search results - page 166 / 326
» The method evaluation model: a theoretical model for validat...
Sort
View
ECIS
2001
13 years 9 months ago
Data Modelling Languages: An Ontological Study
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
Simon K. Milton, Edmund Kazmierczak, Chris Keen
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
14 years 12 days ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
MMMACNS
2001
Springer
14 years 17 days ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
CIVR
2007
Springer
241views Image Analysis» more  CIVR 2007»
14 years 2 months ago
A robust scene recognition system for baseball broadcast using data-driven approach
We propose a robust scene recognition system for baseball broadcast videos. This system is based on the data-driven approach which has been successful in continuous speech recogni...
Ryoichi Ando, Koichi Shinoda, Sadaoki Furui, Takah...
CHI
2007
ACM
14 years 8 months ago
Providing affective information to family and friends based on social networks
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
Wendy Moncur