Sciweavers

3199 search results - page 489 / 640
» Variability in Automation System Models
Sort
View
HIM
1997
Springer
169views Multimedia» more  HIM 1997»
15 years 11 months ago
High Precision Hypertext Navigation Based on NLP Automatic Extractions
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
Frantz Vichot, Francis Wolinski, Joseph Tomeh, Syl...
FLAIRS
2004
15 years 8 months ago
An Active Architecture for Managing Events in Pervasive Computing Environments
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
Edwin Wong, Lisa J. Burnell, Charles Hannon
ETT
2000
149views Education» more  ETT 2000»
15 years 6 months ago
Channel Allocation with Recovery Strategy in Wireless Networks
With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
Yue Ma, James J. Han, Kishor S. Trivedi
RAS
2000
187views more  RAS 2000»
15 years 6 months ago
Detection, tracking, and classification of action units in facial expression
Most of the current work on automated facial expression analysis attempt to recognize a small set of prototypic expressions, such as joy and fear. Such prototypic expressions, how...
James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Coh...
ICSE
2007
IEEE-ACM
16 years 7 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi