Sciweavers

4861 search results - page 385 / 973
» Parsimonious concept modeling
Sort
View
ICPR
2004
IEEE
16 years 8 months ago
A System Identification Approach for Video-based Face Recognition
The paper poses video-to-video face recognition as a dynamical system identification and classification problem. Video-to-video means that both gallery and probe consists of video...
Amit K. Roy Chowdhury, Gaurav Aggarwal, Rama Chell...
SEFM
2008
IEEE
16 years 1 months ago
Restricted Broadcast Process Theory
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
SEFM
2007
IEEE
16 years 1 months ago
Verifying Security Properties of Cryptoprotocols: A Novel Approach
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
Mohamed Saleh, Mourad Debbabi
EMISA
2005
Springer
16 years 11 days ago
Representing Generalization/Specialization in XML Schema
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...
Reema Al-Kamha, David W. Embley, Stephen W. Liddle
HT
1999
ACM
15 years 11 months ago
Do you have the Time? Composition and Linking in Time-Based Hypermedia
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
Lynda Hardman, Jacco van Ossenbruggen, K. Sjoerd M...