5550 search results - page 317 / 1110 » Different Approaches to Proof Systems |
135
click to vote
ISJ
2002
15 years 6 months ago
2002
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond t...
210
click to vote
UMUAI
2002
15 years 6 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...
145
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
When the arrival timing difference exists in the uplink MUMIMO systems, the conventional MUD techniques, without timing control, failed under this circumstance. In this paper, we ...
308
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
160
click to vote
DAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Braille is the most effective means of written communication between visually-impaired and sighted people. This paper describes a new system that recognizes Braille chara...