Sciweavers

1800 search results - page 198 / 360
» Feature Interaction in Composed Systems
Sort
View
123
Voted
TACAS
2010
Springer
145views Algorithms» more  TACAS 2010»
15 years 11 months ago
Rational Synthesis
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
Dana Fisman, Orna Kupferman, Yoad Lustig
CHI
2008
ACM
16 years 4 months ago
Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
James Clawson, Kent Lyons, Alex Rudnick, Robert A....
TRECVID
2007
15 years 5 months ago
The University of Queensland at TRECVID 2007 Search Task
This paper describes our first participation in TRECVID. We took part in the search task and submitted two interactive runs. Both of them are of Type c, and use no ASR/MT output ...
Heng Tao Shen, Xiaofang Zhou, Jie Shao, Zi Huang
ICMI
2003
Springer
184views Biometrics» more  ICMI 2003»
15 years 9 months ago
Real time facial expression recognition in video using support vector machines
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
Philipp Michel, Rana El Kaliouby
ISWC
2000
IEEE
15 years 8 months ago
Spectators at a Geek Show: An Ethnographic Inquiry into Wearable Computing
As new technologies create smaller, cheaper and faster machines, we see a paradigm shift from desktop computing to wearable computing. In less than a decade, we have witnessed the...
Jennifer G. Sheridan, Valerie Lafond-Favieres, Wen...