7118 search results - page 1206 / 1424 » Electrical and Computer Engineering |
230
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
121
click to vote
POLICY
2005
Springer
15 years 8 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
106
Voted
POLICY
2005
Springer
15 years 8 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
139
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Facial expression is one of the primary communication means of the human. However, realistic facial expression images are not used in popular communication tools on portable devic...
125
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...