Sciweavers

2142 search results - page 61 / 429
» Representing Time in Multimedia Systems
Sort
View
RC
2006
87views more  RC 2006»
15 years 5 months ago
Robust Control for Two-Time-Scale Discrete Interval Systems
The problem of designing robust controller for discrete two-time-scale interval systems, conveniently represented using interval matrix notion, is considered. The original full ord...
Balasaheb Patre, Bijnan Bandyopadhyay
AAI
2010
94views more  AAI 2010»
15 years 16 days ago
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
Ken Kaneiwa, Norihiro Kamide
152
Voted
INTERACT
2007
15 years 7 months ago
Identifying Potential Social Impact of Collaborative Systems at Design Time
This paper presents Manas, a Semiotic Engineering epistemic tool for the design of collaborative systems (CoSys) whose aim is to expand the designers’ knowledge and awareness of ...
Clarissa Maria de A. Barbosa, Raquel Oliveira Prat...
CTW
2008
92views more  CTW 2008»
15 years 4 months ago
WESTT (workload, error, situational awareness, time and teamwork): an analytical prototyping system for command and control
Modern developments in the use of information technology within command and control allow unprecedented degrees of flexibility in the way teams deal with tasks. These developments...
Robert J. Houghton, Chris Baber, Malcolm Cowton, G...
DKE
2000
102views more  DKE 2000»
15 years 5 months ago
MOSAIC: A fast multi-feature image retrieval system
Content-based image retrieval plays an important role in many multimedia applications. Images are typically retrieved based on a given sample image, a sketch or a simple descripti...
Shen-Tat Goh, Kian-Lee Tan