Sciweavers

4469 search results - page 323 / 894
» Comparing and Combining Profiles
Sort
View
ICMCS
2006
IEEE
100views Multimedia» more  ICMCS 2006»
16 years 6 days ago
A Novel Resynchronization Method for Scalable Video Over Wireless Channel
A scalable video coder generates scalable compressed bitstream, which can provide different types of scalability depend on different requirements. This paper proposes a novel resy...
Yu Wang, Lap-Pui Chau, Kim-Hui Yap
ISCA
2006
IEEE
131views Hardware» more  ISCA 2006»
16 years 6 days ago
Reducing Startup Time in Co-Designed Virtual Machines
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
Shiliang Hu, James E. Smith
MEMOCODE
2006
IEEE
16 years 5 days ago
Mixed symbolic representations for model checking software programs
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...
ACIVS
2006
Springer
16 years 5 days ago
Discrete Choice Models for Static Facial Expression Recognition
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
Gianluca Antonini, Matteo Sorci, Michel Bierlaire,...
AUIC
2005
IEEE
15 years 11 months ago
Evaluation of Two Textual Programming Notations for Children
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...
Timothy N. Wright, Andy Cockburn