Sciweavers

4693 search results - page 808 / 939
» Verifying Hybrid Systems
Sort
View
WACV
2005
IEEE
15 years 6 months ago
Learning to Track Objects Through Unobserved Regions
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
Chris Stauffer
103
Voted
AOSD
2005
ACM
15 years 6 months ago
Modularizing design patterns with aspects: a quantitative study
Design patterns offer flexible solutions to common problems in software development. Recent studies have shown that several design patterns involve crosscutting concerns. Unfortun...
Alessandro F. Garcia, Cláudio Sant'Anna, Ed...
77
Voted
OZCHI
2005
ACM
15 years 6 months ago
Technology for the humdrum: trajectories, interactional needs and a care setting
We report on a care setting where staff looking after ex-psychiatric patients were supported by mobile and stationery communications technology (e.g. mobile phones, a messaging sy...
Connor Graham, Keith Cheverst, Mark Rouncefield
95
Voted
WWW
2005
ACM
15 years 6 months ago
Representing personal web information using a topic-oriented interface
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
Zhigang Hua, Hao Liu, Xing Xie, Hanqing Lu, Wei-Yi...
95
Voted
ATAL
2005
Springer
15 years 6 months ago
Fuzzy number approach to trust in coalition environment
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
Martin Rehák, Michal Pechoucek, Petr Benda