Sciweavers

98 search results - page 17 / 20
» Specifying Interaction Space Components in a FIPA-ACL Intera...
Sort
View
ICCV
2011
IEEE
13 years 6 months ago
Tracking by Sampling Trackers
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
junseok kwon and kyoung mu lee
HICSS
2005
IEEE
131views Biometrics» more  HICSS 2005»
15 years 3 months ago
It's More than Just Use: An Investigation of Telemedicine Use Quality
Many information systems (IS) studies portray use as an indicator of system success. However, “simply saying that more use will yield more benefits without considering the natur...
Cynthia LeRouge, Alan R. Hevner
74
Voted
EMSOFT
2004
Springer
15 years 2 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
ICSE
2001
IEEE-ACM
15 years 1 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
TOPNOC
2008
14 years 9 months ago
Translating Message Sequence Charts to other Process Languages Using Process Mining
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
Kristian Bisgaard Lassen, Boudewijn F. van Dongen