Sciweavers

12635 search results - page 2454 / 2527
» Which semantic web
Sort
View
TSE
1998
115views more  TSE 1998»
13 years 8 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
TCSV
2002
125views more  TCSV 2002»
13 years 8 months ago
Object-based video abstraction for video surveillance systems
ased Video Abstraction for Video Surveillance Systems Changick Kim, Member, IEEE, and Jenq-Neng Hwang, Fellow, IEEE Key frames are the subset of still images which best t the conte...
Changick Kim, Jenq-Neng Hwang
ESWA
2010
109views more  ESWA 2010»
13 years 7 months ago
Visual and tangible interactions with physical and virtual objects using context-aware RFID
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation and interface technology with physical and virtual objects in the ubiquitous comp...
Jae Yeol Lee, Dong Woo Seo, Byung Youn Song, Rajit...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 7 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
IJMMS
2010
161views more  IJMMS 2010»
13 years 7 months ago
Persuasive robotic assistant for health self-management of older adults: Design and evaluation of social behaviors
Daily health self-management, such as the harmonization of food, exercise and medication, is a major problem for a large group of older adults with obesity or diabetics. Computer-...
Rosemarijn Looije, Mark A. Neerincx, Fokie Cnossen
« Prev « First page 2454 / 2527 Last » Next »