5600 search results - page 366 / 1120 » Synthesizing robust systems |
174
click to vote
SEKE
2005
Springer
16 years 6 days 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...
173
Voted
RP
2009
Springer
15 years 11 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
157
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Collaborative interpretation occurs when a group interprets and transforms a diverse set of information fragments into a coherent set of meaningful descriptions. This activity is ...
132
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous grasp quality research is mainly theoretical, and has assumed that contact types and positions are given, in order to preserve the generality of the proposed quality meas...
207
Voted
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...