7118 search results - page 1206 / 1424 » Electrical and Computer Engineering |
280
click to vote
LCTRTS
2005
Springer
16 years 1 days 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...
166
click to vote
POLICY
2005
Springer
16 years 1 days 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 ...
154
click to vote
POLICY
2005
Springer
16 years 1 days 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 (“...
172
click to vote
SEKE
2005
Springer
16 years 20 hour 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...
184
click to vote
TACAS
2005
Springer
16 years 18 hour 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,...