5550 search results - page 884 / 1110 » Different Approaches to Proof Systems |
179
click to vote
CNSM
2010
15 years 4 months ago
2010
Manageability is a key design constraint for IT solutions, defined as the range of operations required to maintain and administer system resources through their lifecycle phases. E...
204
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a real-time face recognition system. The system uses a stereo camera to locate, track, and recognize a person's face. Our algorithm improves state-of-the-...
174
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
181
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
The question how to integrate information from different sources in speech decoding is still only partially solved (layered architecture versus integrated search). We investigate t...
186
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents collaborative decoding (co-decoding), a new method to improve machine translation accuracy by leveraging translation consensus between multiple machine transla...